A Survey on Decidability Results for Elementary Object Systems

Köhler-Bußmeier, Michael

Title:	A Survey on Decidability Results for Elementary Object Systems
Language:	English
Authors:	Köhler-Bußmeier, Michael
Keywords:	Petri nets; nets-within-nets; reachability; liveness; boundedness
Issue Date:	2014
Publisher:	IOS Press
Journal or Series Name:	Fundamenta informaticae
Volume:	130
Issue:	1 : Extended Papers from the International Workshops LAM'10 and LAM'11 ; Logics, Agents, and Mobility
Startpage:	99
Endpage:	123
Conference:	International Workshop on Logic, Agents, and Mobility 2010
URI:	http://hdl.handle.net/20.500.12738/672
ISSN:	1875-8681
Institute:	Universität Hamburg
Type:	Article
Appears in Collections:	Publications without full text