| Titel: | A Survey on Decidability Results for Elementary Object Systems | Sprache: | Englisch | Autorenschaft: | Köhler-Bußmeier, Michael  |
Schlagwörter: | Petri nets; nets-within-nets; reachability; liveness; boundedness | Erscheinungsdatum: | 2014 | Verlag: | IOS Press | Zeitschrift oder Schriftenreihe: | Fundamenta informaticae | Zeitschriftenband: | 130 | Zeitschriftenausgabe: | 1 : Extended Papers from the International Workshops LAM'10 and LAM'11 ; Logics, Agents, and Mobility | Anfangsseite: | 99 | Endseite: | 123 | Konferenz: | International Workshop on Logic, Agents, and Mobility 2010 | URI: | http://hdl.handle.net/20.500.12738/672 | ISSN: | 1875-8681 | Einrichtung: | Universität Hamburg | Dokumenttyp: | Zeitschriftenbeitrag |
| 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.