Verlagslink DOI: | 10.1007/978-3-642-38697-8_9 | Titel: | Complexity Results for Elementary Hornets | Sprache: | Englisch | Autorenschaft: | Köhler-Bußmeier, Michael Heitmann, Frank |
Herausgeber*In: | Colom, José-Manuel Desel, Jörg |
Schlagwörter: | Hornets; nets-within-nets; object nets; reachability; safeness | Erscheinungsdatum: | 2013 | Verlag: | Springer | Teil der Schriftenreihe: | Application and theory of Petri nets and concurrency : 34th international conference, PETRI NETS 2013, Milan, Italy, June 24 - 28, 2013 ; proceedings | Zeitschrift oder Schriftenreihe: | Lecture notes in computer science | Zeitschriftenband: | 7927 | Anfangsseite: | 150 | Endseite: | 169 | Konferenz: | 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 | Einrichtung: | Department Informatik Fakultät Technik und Informatik |
Dokumenttyp: | Konferenzveröffentlichung |
Enthalten in den Sammlungen: | Publications without full text |
Zur Langanzeige
Volltext ergänzen
Feedback zu diesem Datensatz
Export
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.