Branching Processes of General Petri Nets

DOI10.1007/978-3-642-21834-7_8MaRDI QIDQ3011885zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Branching processes of general Petri nets
• Branching processes of Petri nets
• scientific article; zbMATH DE number 1956601
• Branching processes of timed Petri nets
• Petri nets and regular processes
• The unfolding of general Petri nets
• scientific article; zbMATH DE number 3967922
• scientific article; zbMATH DE number 3980501
• Introduction to generalized stochastic Petri nets
• scientific article; zbMATH DE number 3922334

Cites work

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

Cited in

(7)

• A geometric view of partial order reduction
• scientific article; zbMATH DE number 1956601 (Why is no real title available?)
• Branching processes of Petri nets
• Branching processes of timed Petri nets
• Coverability synthesis in parametric Petri nets
• Toward uniform random generation in 1-safe Petri nets
• Branching processes of general Petri nets

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3011885)