Relating Higher Order Reference Nets and Well-Formed Nets

Cabac, Lawrence; Köhler, Michael

doi:10.7146/dpb.v33i570.7200

Verlagslink DOI:	10.7146/dpb.v33i570.7200
Titel:	Relating Higher Order Reference Nets and Well-Formed Nets
Sprache:	Englisch
Autorenschaft:	Cabac, Lawrence Köhler, Michael
Herausgeber*In:	Jensen, Kurt
Erscheinungsdatum:	2004
Verlag:	Aarhus University
Teil der Schriftenreihe:	Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools : Aarhus, Denmark, October 8-11, 2004
Zeitschrift oder Schriftenreihe:	DAIMI
Zeitschriftenband:	33
Zeitschriftenausgabe:	507
Anfangsseite:	185
Endseite:	198
Konferenz:	Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools 2004
Zusammenfassung:	In this presentation we introducet he formalism of "Higher Order Reference Nets" (Hornets). Hornets follow theparadigm of "nets within nets", i.e. the paradigm that allows Petrinets as token objects. Since all net tokens are objects of some net class they all share the same structure. In our contribution we therefore introduce the notion of well-formed Hornets which can be simulated by well-formed coloured Petrinets. This allows for several analysis techniques, e.g. symbolic state space generation, which automatically takes the system symmetries into account.
URI:	http://hdl.handle.net/20.500.12738/2865
ISSN:	0105-8517
Begutachtungsstatus:	Diese Version hat ein Peer-Review-Verfahren durchlaufen (Peer Review)
Einrichtung:	Universität Hamburg
Dokumenttyp:	Konferenzveröffentlichung
Enthalten in den Sammlungen:	Publications without full text