We present different types of morphisms on Elementary Net Systems, on Elementary Transition Systems, and on Occurrence Nets. These can be used to relate two subsystems to a common interface in order to properly compose the subsystems. In particular, we define new types of morphisms, one on Elementary Net Systems, one on Elementary Transition Systems, and one on Occurrence Nets. The considered morphisms are derived from the ones defined by Nielsen, Rozenberg and Thiagarajan in “Elementary Transition Systems”, 1992. The composition is the one defined by Pomello and Bernardinello in “Formal Tools for Modular System Development”, 2004.
Mangioni, E. (2011). Morphisms for composition on interfaces. Intervento presentato a: International Conference on Application and Theory of Petri Nets (ICATPN), Newcastle.
Morphisms for composition on interfaces
MANGIONI, ELISABETTA
2011
Abstract
We present different types of morphisms on Elementary Net Systems, on Elementary Transition Systems, and on Occurrence Nets. These can be used to relate two subsystems to a common interface in order to properly compose the subsystems. In particular, we define new types of morphisms, one on Elementary Net Systems, one on Elementary Transition Systems, and one on Occurrence Nets. The considered morphisms are derived from the ones defined by Nielsen, Rozenberg and Thiagarajan in “Elementary Transition Systems”, 1992. The composition is the one defined by Pomello and Bernardinello in “Formal Tools for Modular System Development”, 2004.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
