The unfolding of general Petri nets

DOI10.4230/LIPIcs.FSTTCS.2008.1755zbMath1248.68354OpenAlexW1508383245MaRDI QIDQ3165961

Glynn Winskel, Jonathan Hayman

Publication date: 19 October 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_b6d7.html

zbMATH Keywords

symmetryPetri netsunfolding

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

History-preserving bisimilarity for higher-dimensional automata via open maps ⋮ Unfolding Grammars in Adhesive Categories ⋮ Configuration structures, event structures and Petri nets ⋮ Modeling dependencies and simultaneity in membrane system computations ⋮ Unnamed Item ⋮ Event Structures with Symmetry