On the complexity of safe, elementary hornets

Köhler-Bußmeier, Michael

doi:https://nbn-resolving.org/urn:nbn:de:0074-928-1

Publisher DOI:	https://nbn-resolving.org/urn:nbn:de:0074-928-1
Title:	On the complexity of safe, elementary hornets
Language:	English
Authors:	Köhler-Bußmeier, Michael
Editor:	Popova-Zeugmann, Louchka
Keywords:	Hornets; nets-within-nets; object nets; reachability; safeness
Issue Date:	Aug-2012
Publisher:	RWTH Aachen
Part of Series:	Proceedings of the 21st International Workshop on Concurrency, Specification, and Programming (CS&P 2012), Berlin, Germany, September 26 - 28, 2012
Volume number:	Volume 1
Journal or Series Name:	CEUR workshop proceedings
Volume:	978
Startpage:	203
Endpage:	214
Conference:	International Workshop on Concurrency, Specification, and Programming 2012
URI:	http://hdl.handle.net/20.500.12738/13352
ISSN:	1613-0073
Review status:	This version was peer reviewed (peer review)
Institute:	Universität Hamburg
Type:	Chapter/Article (Proceedings)
Appears in Collections:	Publications without full text