| Verlagslink DOI: | 10.1007/978-3-642-31131-4_20 | Titel: | P- and T-Systems in the Nets-within-Nets Formalism | Sprache: | Englisch | Autorenschaft: | Heitmann, Frank Köhler-Bußmeier, Michael  |
Herausgeber*In: | Haddad, Serge Pomello, Lucia |
Schlagwörter: | Higher-level net models; nets-within-nets; reachability problem | Erscheinungsdatum: | 2012 | Verlag: | Springer | Teil der Schriftenreihe: | Application and theory of Petri nets : 33rd international conference, PETRI NETS 2012, Hamburg, Germany, June 25 - 29, 2012 ; proceedings | Zeitschrift oder Schriftenreihe: | Lecture notes in computer science | Zeitschriftenband: | 7347 | Anfangsseite: | 368 | Endseite: | 387 | Konferenz: | 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 | Begutachtungsstatus: | Unbekannt / keine Angabe | Einrichtung: | Universität Hamburg | 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.