Branching Processes of General Petri Nets

DOI10.1007/978-3-642-21834-7_8zbMath1330.68199OpenAlexW4206523803MaRDI QIDQ3011885

Jean-Michel Couvreur, Denis Poitrenaud, Pascal Weil

Publication date: 29 June 2011

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

Full work available at URL: https://doi.org/10.1007/978-3-642-21834-7_8

Mathematics Subject Classification ID

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

Related Items (2)

A geometric view of partial order reduction ⋮ Unnamed Item

Cites Work

• An event structure semantics for general Petri nets
• Configuration structures, event structures and Petri nets
• Sequential and concurrent behaviour in Petri net theory
• Petri nets, event structures and domains. I
• Branching processes of Petri nets
• Executions: A new partial-order semantics of Petri nets

This page was built for publication: Branching Processes of General Petri Nets