| 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: | Article |
| 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.