Composition of Elementary Net Systems based on α-morphisms

5th International Workshop on Logics, Agents, and Mobility (LAM'12), 1st International Workshop on Petri Net-based Security (WooPS'12), 2nd International Workshop on Petri Nets Compositions (CompoNet'12)

Luca Bernardinello ; Elisabetta Mangioni ; Lucia Pomello

Others  :  http://ceur-ws.org/Vol-853/componet2.pdf
PID  :  43068

来源: CEUR

【 摘 要 】

In the development of distributed systems a central role is played by formal tools supporting various aspects of modularity such as compositionality, refinement and abstraction. One of the main challenges consists in developing methods allowing to derive properties of the composed system from properties of the components. In this context we consider Elementary Net Systems related by morphisms and compose them through an interface. Imposing structural constraints on the components, we obtain some structural properties of the composed system and, requiring additional local behavioural constaints, behavioural properties.