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

Publisher DOI:	10.1007/978-3-642-31131-4_20
Title:	P- and T-Systems in the Nets-within-Nets Formalism
Language:	English
Authors:	Heitmann, Frank Köhler-Bußmeier, Michael
Editor:	Haddad, Serge Pomello, Lucia
Keywords:	Higher-level net models; nets-within-nets; reachability problem
Issue Date:	2012
Publisher:	Springer
Part of Series:	Application and theory of Petri nets : 33rd international conference, PETRI NETS 2012, Hamburg, Germany, June 25 - 29, 2012 ; proceedings
Journal or Series Name:	Lecture notes in computer science
Volume:	7347
Startpage:	368
Endpage:	387
Conference:	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
Review status:	Unknown / not specified
Institute:	Universität Hamburg
Type:	Chapter/Article (Proceedings)
Appears in Collections:	Publications without full text