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 |
Show full item record
Add Files to Item
Note about this record
Export
Items in REPOSIT are protected by copyright, with all rights reserved, unless otherwise indicated.