On the Synthesis of Zero-Safe Nets

DOI10.1007/978-3-540-68679-8_25MaRDI QIDQ3507377zbMATH OpenOpenAlexFDO

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

Cites work

• Applications and Theory of Petri Nets 2005
• Compensation in Workflow Nets
• scientific article; zbMATH DE number 1231592 (Why is no real title available?)
• scientific article; zbMATH DE number 1302048 (Why is no real title available?)
• scientific article; zbMATH DE number 1973128 (Why is no real title available?)
• Partial (set) 2-structures. I: Basic notions and the representation problems
• Partial (set) 2-structures. II: State spaces of concurrent systems
• PETRI NETS AND STEP TRANSITION SYSTEMS
• Zero-safe nets: Comparing the collective and individual token approaches.

Cited in

(3)

• Explaining safety failures in NetKAT
• Process discovery and Petri nets
• Discovering object-centric Petri nets

This page was built for publication: On the Synthesis of Zero-Safe Nets

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