Simultaneous Petri Net Synthesis

DOI10.7561/SACS.2018.2.199MaRDI QIDQ4621223zbMATHOpenAlexWikidataFDO

Authors Eike Best, Raymond Devillers, Uli Schlachter, Harro Wimmel

Publication date 8 February 2019

Published in Scientific Annals of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.7561/sacs.2018.2.199

zbMATH Keywords

synthesisPetri netslabelled transition systemschoice-freeness

Mathematics Subject Classification ID

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

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

Describes a project that uses

Uses Software

• APT

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)