-
-
Autor*innen: Rölke, Heiko
Titel: Modeling with net references and synchronous channels
Aus: Moldt, Daniel (Hrsg.): International Workshop on Petri Nets and Software Engineering: PNSE'2009 June 22-23, 2009, a satellite event of Petri Nets' 2009, 30th International Conference on Application and Theory of Petri Nets and O ther Models of Concurrency, June 22-26, 2009 Paris, France, Paris: Université Paris, 2009 , S. 157-172
URL: http://www.informatik.uni-hamburg.de/TGI/events/pnse09/PNSE-09-official-proceedings.pdf
Dokumenttyp: 4. Beiträge in Sammelwerken; Tagungsband/Konferenzbeitrag/Proceedings
Sprache: Englisch
Schlagwörter: Petri-Netz; Modellierung; Informatik; Netzarchitektur; Kongress
Abstract (english): Nets-within-nets offer some modeling possibilitieswhich are not available ( or only to a limited extent) in classicalPetri nets formalisms like P/T nets or colored Petri nets. This holdsespecially true in the formalism of reference nets. The extendedmodeling possibilities arise from the newly come concepts, e.g. netinstances generated at run-time and synchronization betweentransitions. This paper focuses on practical aspects of the newmodeling possibilities - rather than theoretical backgrounds - anddemonstrates them in practical examples. As a modeling languagereference nets are used. This is the onlynets-within- nets formalism implemented up to now and with Renew a powerful simulation tool-set is available. The examples presented throughout the paper can serve as anintroduction to advanced modeling using reference nets. (Autor)
DIPF-Abteilung: Informationszentrum Bildung