Stratified petri nets

DOI10.1007/BFb0036176MaRDI QIDQ5055926

Philippe Darondeau, Eric Badouel

Publication date: 9 December 2022

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

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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Partial (set) 2-structures. I: Basic notions and the representation problems
• A calculus of mobile processes. I
• Applications of algebraic topology. Graphs and networks. The Picard- Lefschetz theory and Feynman integrals
• The synthesis of Petri nets from path-automatic specifications
• Trace nets and process automata
• Parallel program schemata
• PETRI NETS AND STEP TRANSITION SYSTEMS
• Algebraic Theory of Machines. I. Prime Decomposition Theorem for Finite Semigroups and Machines

This page was built for publication: Stratified petri nets