Simultaneous Petri Net Synthesis
From MaRDI portal
Publication:4621223
Recommendations
- Petri net synthesis
- scientific article; zbMATH DE number 4074503
- scientific article; zbMATH DE number 512821
- The synthesis problem of Petri nets
- Petri nets and bisimulation
- scientific article; zbMATH DE number 956815
- Target-oriented Petri net synthesis
- Petri Net Synthesis for Restricted Classes of Nets
- Concurrent bisimulations in Petri nets
- scientific article; zbMATH DE number 4113945
Cited in
(25)- Synthesis of Nets with Step Firing Policies
- Theory and Applications of Models of Computation
- Petri net synthesis with union/find
- Synthesis of structurally restricted \(b\)-bounded Petri nets: complexity results
- Articulation of Transition Systems and Its Application to Petri Net Synthesis
- Edge, event and state removal: the complexity of some basic techniques that make transition systems Petri net implementable
- Distributing finite automata through Petri net synthesis
- Efficient synthesis of weighted marked graphs with circular reachability graph, and beyond
- Relabelling LTS for Petri net synthesis via solving separation problems
- The synthesis problem of Petri nets
- scientific article; zbMATH DE number 1515296 (Why is no real title available?)
- Synthesis of (choice-free) reset nets
- Synthesis of nets with step firing policies
- Stratified petri nets
- Synthesis for various Petri net classes with union/find
- Design of grid structures on the basis of transition systems with the substantiation of the correctness of their operation
- Presynthesis of bounded choice-free or fork-attribution nets
- Bounded choice-free Petri net synthesis: algorithmic issues
- Synthesis of bounded choice-free Petri nets
- Target-oriented Petri net synthesis
- Synthesis and reengineering of persistent systems
- The power of prime cycles
- A new property of choice-free Petri net systems
- The synthesis of Petri nets from path-automatic specifications
- \(k\)-bounded Petri net synthesis from modal transition systems
This page was built for publication: Simultaneous Petri Net Synthesis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4621223)