Complexity Results for Elementary Hornets

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

doi:10.1007/978-3-642-38697-8_9

Publisher DOI:	10.1007/978-3-642-38697-8_9
Title:	Complexity Results for Elementary Hornets
Language:	English
Authors:	Köhler-Bußmeier, Michael Heitmann, Frank
Editor:	Colom, José-Manuel Desel, Jörg
Keywords:	Hornets; nets-within-nets; object nets; reachability; safeness
Issue Date:	2013
Publisher:	Springer
Part of Series:	Application and theory of Petri nets and concurrency : 34th international conference, PETRI NETS 2013, Milan, Italy, June 24 - 28, 2013 ; proceedings
Journal or Series Name:	Lecture notes in computer science
Volume:	7927
Startpage:	150
Endpage:	169
Conference:	International Conference on Applications and Theory of Petri Nets and Concurrency 2013
URI:	http://hdl.handle.net/20.500.12738/1354
ISBN:	978-3-642-38697-8 3-642-38696-2 978-3-642-38696-1
ISSN:	0302-9743
Institute:	Department Informatik Fakultät Technik und Informatik
Type:	Chapter/Article (Proceedings)
Appears in Collections:	Publications without full text