Branching Processes of General Petri Nets

DOI10.3233/FI-2013-782zbMath1293.68203OpenAlexW2174804035MaRDI QIDQ4914291

Jean-Michel Couvreur, Denis Poitrenaud, Pascal Weil

Publication date: 18 April 2013

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2013-782

zbMATH Keywords

branching processesPetri netsunfoldings

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 ⋮ ``Truly concurrent and nondeterministic semantics of discrete-time Petri nets ⋮ Combining free choice and time in Petri nets

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