A Survey on Decidability Results for Elementary Object Systems

Köhler-Bußmeier, Michael

DC Field	Value	Language
dc.contributor.author	Köhler-Bußmeier, Michael	-
dc.date.accessioned	2020-08-26T09:13:47Z	-
dc.date.available	2020-08-26T09:13:47Z	-
dc.date.issued	2014	-
dc.identifier.issn	1875-8681	en_US
dc.identifier.uri	http://hdl.handle.net/20.500.12738/672	-
dc.language.iso	en	en_US
dc.publisher	IOS Press	en_US
dc.relation.ispartof	Fundamenta informaticae	en_US
dc.subject	Petri nets	en_US
dc.subject	nets-within-nets	en_US
dc.subject	reachability	en_US
dc.subject	liveness	en_US
dc.subject	boundedness	en_US
dc.subject.ddc	004: Informatik	en_US
dc.title	A Survey on Decidability Results for Elementary Object Systems	en
dc.type	Article	en_US
dc.relation.conference	International Workshop on Logic, Agents, and Mobility 2010	en_US
tuhh.container.endpage	123	en_US
tuhh.container.issue	1 : Extended Papers from the International Workshops LAM'10 and LAM'11 ; Logics, Agents, and Mobility	en_US
tuhh.container.startpage	99	en_US
tuhh.container.volume	130	en_US
tuhh.oai.show	true	en_US
tuhh.publication.institute	Universität Hamburg	en_US
tuhh.type.opus	(wissenschaftlicher) Artikel	-
dc.type.casrai	Journal Article	-
dc.type.dini	article	-
dc.type.driver	article	-
dc.type.status	info:eu-repo/semantics/publishedVersion	en_US
dcterms.DCMIType	Text	-
item.languageiso639-1	en	-
item.fulltext	No Fulltext	-
item.creatorGND	Köhler-Bußmeier, Michael	-
item.openairetype	Article	-
item.grantfulltext	none	-
item.creatorOrcid	Köhler-Bußmeier, Michael	-
item.cerifentitytype	Publications	-
item.openairecristype	http://purl.org/coar/resource_type/c_6501	-
crisitem.author.dept	Department Informatik	-
crisitem.author.orcid	0000-0002-3074-4145	-
crisitem.author.parentorg	Fakultät Technik und Informatik	-
Appears in Collections:	Publications without full text