Synthesis of Nets with Step Firing Policies

DOI10.1007/978-3-540-68746-7_11zbMath1143.68482OpenAlexW2096986358MaRDI QIDQ5900140

Philippe Darondeau, A. V. Yakovlev, Marta Pietkiewicz-Koutny, Maciej Koutny

Publication date: 3 July 2008

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-540-68746-7_11

zbMATH Keywords

regionsPetri netssynthesis problemstep transition systemstep firing policy

Mathematics Subject Classification ID

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

Related Items

Synthesis of Nets with Step Firing Policies ⋮ Process discovery and Petri nets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Partial (set) 2-structures. I: Basic notions and the representation problems
• Partial (set) 2-structures. II: State spaces of concurrent systems
• The synthesis of Petri nets from path-automatic specifications
• The synthesis problem of Petri nets
• Synthesis of Elementary Net Systems with Context Arcs and Localities
• PETRI NETS AND STEP TRANSITION SYSTEMS
• Polynomial algorithms for the synthesis of bounded nets
• Algorithm for finding a general formula for the non-negative solutions of a system of linear inequalities
• Transition Systems of Elementary Net Systems with Localities
• Membrane Computing
• Synthesis of Nets with Step Firing Policies
• Synthesis of nets with inhibitor arcs