Automatic decomposition of Petri nets into automata networks -- a synthetic account
DOI10.1007/978-3-030-51831-8_1zbMATH Open1503.68190OpenAlexW3036249540MaRDI QIDQ5100747FDOQ5100747
Hernán Ponce de León, Hubert Garavel, Pierre Bouvier
Publication date: 1 September 2022
Published in: Application and Theory of Petri Nets and Concurrency (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-51831-8_1
Recommendations
- Decomposition of Petri nets
- scientific article; zbMATH DE number 3890742
- Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis
- Composition/décomposition de réseaux de Pétri et de leurs graphes de couverture
- Distributing finite automata through Petri net synthesis
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Nested-unit Petri nets
- State space reduction for process algebra specifications
- Free Choice Petri Nets
- Title not available (Why is that?)
- A concurrency-preserving translation from time Petri nets to networks of timed automata
- Title not available (Why is that?)
- Title not available (Why is that?)
- Nets, sequential components and concurrency relations
- Distribution and synchronized automata
- On Distributability of Petri Nets
- Distributing finite automata through Petri net synthesis
- Petri Net Distributability
- On communicating automata with bounded channels
- Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units
- Hierarchical Conformance Checking of Process Models Based on Event Logs
Cited In (6)
- Decomposing monolithic processes in a process algebra with multi-actions
- Accelerating the computation of dead and concurrent places using reductions
- Efficient algorithms for three reachability problems in safe Petri nets
- On the combination of polyhedral abstraction and SMT-based model checking for Petri nets
- Title not available (Why is that?)
- Decomposing monolithic processes in a process algebra with multi-actions
Uses Software
This page was built for publication: Automatic decomposition of Petri nets into automata networks -- a synthetic account
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5100747)
