Integral implementation of higher-order algebraic Petri nets in Maude

Capra, Lorenzo; Köhler-Bußmeier, Michael

doi:10.1007/978-3-032-16632-6_9

DC Element	Wert	Sprache
dc.contributor.author	Capra, Lorenzo	-
dc.contributor.author	Köhler-Bußmeier, Michael	-
dc.date.accessioned	2026-11-12T15:33:35Z	-
dc.date.available	2026-11-12T15:33:35Z	-
dc.date.issued	2026	-
dc.identifier.isbn	978-3-032-16632-6	en_US
dc.identifier.isbn	978-3-032-16631-9	en_US
dc.identifier.isbn	978-3-032-16633-3	en_US
dc.identifier.issn	1611-3349	en_US
dc.identifier.uri	https://hdl.handle.net/20.500.12738/20334	-
dc.language.iso	en	en_US
dc.publisher	Springer	en_US
dc.relation.ispartof	Lecture notes in computer science	en_US
dc.subject	Active tokens	en_US
dc.subject	Algebraic Petri nets	en_US
dc.subject	Maude	en_US
dc.subject.ddc	004: Informatik	en_US
dc.title	Integral implementation of higher-order algebraic Petri nets in Maude	en
dc.type	inProceedings	en_US
dc.relation.conference	International Conference on Distributed Computing and Intelligent Technology 2026	en_US
dc.description.version	PeerReviewed	en_US
local.contributorPerson.editor	Chatterjee, Bapi	-
local.contributorPerson.editor	Kothapalli, Kishore	-
local.contributorPerson.editor	Mittal, Neeraj	-
local.contributorPerson.editor	Natarajan, Arul Murugan	-
local.contributorPerson.editor	Singh, Dinesh	-
tuhh.container.endpage	153	en_US
tuhh.container.startpage	137	en_US
tuhh.container.volume	16420	en_US
tuhh.oai.show	true	en_US
tuhh.publication.institute	Fakultät Informatik und Digitale Gesellschaft	en_US
tuhh.publication.institute	Forschungs- und Transferzentrum Smart Systems	en_US
tuhh.publisher.doi	10.1007/978-3-032-16632-6_9	-
tuhh.type.opus	InProceedings (Aufsatz / Paper einer Konferenz etc.)	-
dc.type.casrai	Conference Paper	-
dc.type.dini	contributionToPeriodical	-
dc.type.driver	contributionToPeriodical	-
dc.type.status	info:eu-repo/semantics/publishedVersion	en_US
dcterms.DCMIType	Text	-
tuhh.book.title	Distributed computing and intelligent technology : 22nd International Conference, ICDCIT 2026, Bhubaneswar, India, January 16-19, 2026 : proceedings	-
item.creatorGND	Capra, Lorenzo	-
item.creatorGND	Köhler-Bußmeier, Michael	-
item.creatorOrcid	Capra, Lorenzo	-
item.creatorOrcid	Köhler-Bußmeier, Michael	-
item.grantfulltext	none	-
item.openairecristype	http://purl.org/coar/resource_type/c_5794	-
item.openairetype	inProceedings	-
item.cerifentitytype	Publications	-
item.languageiso639-1	en	-
item.fulltext	No Fulltext	-
crisitem.author.dept	Department Informatik (ehemalig, aufgelöst 10.2025)	-
crisitem.author.orcid	0000-0002-3074-4145	-
crisitem.author.parentorg	Fakultät Technik und Informatik (ehemalig, aufgelöst 10.2025)	-
Enthalten in den Sammlungen:	Publications without full text