P- and T-Systems in the Nets-within-Nets Formalism

Heitmann, Frank; Köhler-Bußmeier, Michael

doi:10.1007/978-3-642-31131-4_20

Verlagslink DOI:	10.1007/978-3-642-31131-4_20
Titel:	P- and T-Systems in the Nets-within-Nets Formalism
Sprache:	Englisch
Autorenschaft:	Heitmann, Frank Köhler-Bußmeier, Michael
Herausgeber*In:	Haddad, Serge Pomello, Lucia
Schlagwörter:	Higher-level net models; nets-within-nets; reachability problem
Erscheinungsdatum:	2012
Verlag:	Springer
Teil der Schriftenreihe:	Application and theory of Petri nets : 33rd international conference, PETRI NETS 2012, Hamburg, Germany, June 25 - 29, 2012 ; proceedings
Zeitschrift oder Schriftenreihe:	Lecture notes in computer science
Zeitschriftenband:	7347
Anfangsseite:	368
Endseite:	387
Konferenz:	International Conference on Application and Theory of Petri Nets and Concurrency 2012
URI:	http://hdl.handle.net/20.500.12738/1808
ISBN:	3-642-31130-X 978-3-642-31130-7 978-3-642-31131-4
ISSN:	0302-9743
Begutachtungsstatus:	Unbekannt / keine Angabe
Einrichtung:	Universität Hamburg
Dokumenttyp:	Konferenzveröffentlichung
Enthalten in den Sammlungen:	Publications without full text