Stratified petri nets

DOI10.1007/BFB0036176MaRDI QIDQ5055926zbMATH OpenFDO

Authors Eric Badouel, Philippe Darondeau

Publication date 9 December 2022

Published in Fundamentals of Computation Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0036176

Mathematics Subject Classification ID

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

Recommendations

• Petri Net Synthesis for Restricted Classes of Nets
• The synthesis problem for elementary net systems is NP-complete
• scientific article; zbMATH DE number 512821
• Simultaneous Petri Net Synthesis
• Polynomial algorithms for the synthesis of bounded nets

Cites work

• A calculus of mobile processes. I
• Algebraic Theory of Machines. I. Prime Decomposition Theorem for Finite Semigroups and Machines
• Applications of algebraic topology. Graphs and networks. The Picard- Lefschetz theory and Feynman integrals
• scientific article; zbMATH DE number 3646295 (Why is no real title available?)
• scientific article; zbMATH DE number 4089320 (Why is no real title available?)
• scientific article; zbMATH DE number 3750300 (Why is no real title available?)
• scientific article; zbMATH DE number 3310090 (Why is no real title available?)
• scientific article; zbMATH DE number 3336831 (Why is no real title available?)
• scientific article; zbMATH DE number 3338381 (Why is no real title available?)
• Parallel program schemata
• Partial (set) 2-structures. I: Basic notions and the representation problems
• PETRI NETS AND STEP TRANSITION SYSTEMS
• The synthesis of Petri nets from path-automatic specifications
• Trace nets and process automata

This page was built for publication: Stratified petri nets

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