On the Synthesis of Zero-Safe Nets

DOI10.1007/978-3-540-68679-8_25zbMath1143.68481OpenAlexW1658879226MaRDI QIDQ3507377

Philippe Darondeau

Publication date: 19 June 2008

Published in: Concurrency, Graphs and Models (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-68679-8_25

Mathematics Subject Classification ID

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

Related Items

Discovering Object-centric Petri Nets ⋮ 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
• Zero-safe nets: Comparing the collective and individual token approaches.
• Compensation in Workflow Nets
• PETRI NETS AND STEP TRANSITION SYSTEMS
• Applications and Theory of Petri Nets 2005