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.
poster
morphism, composition, interface, Petri Net, Transition System, Occurrence Net
English
International Conference on Application and Theory of Petri Nets (ICATPN)
2011
giu-2011
none
Mangioni, E. (2011). Morphisms for composition on interfaces. Intervento presentato a: International Conference on Application and Theory of Petri Nets (ICATPN), Newcastle.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/45123
Citazioni
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
Social impact