Faster Unfolding of General Petri Nets Based on Token Flows

DOI10.1007/978-3-540-68746-7_6zbMath1143.68471OpenAlexW1595724348MaRDI QIDQ3510854

Robert Lorenz, Sebastian Mauser, Robin Bergenthum

Publication date: 3 July 2008

Published in: Applications and Theory of Petri Nets (Search for Journal in Brave)

Full work available at URL: https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-554234

Mathematics Subject Classification ID

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

Related Items (3)

Branching Processes of Timed Petri Nets ⋮ Unifying Petri Net Semantics with Token Flows ⋮ Firing partial orders in a Petri net

This page was built for publication: Faster Unfolding of General Petri Nets Based on Token Flows