Simultaneous Petri Net Synthesis

DOI10.7561/SACS.2018.2.199zbMATH Open1424.68099OpenAlexW2893236351WikidataQ129189168 ScholiaQ129189168MaRDI QIDQ4621223FDOQ4621223

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

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

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)

Cited In (25)

• Synthesis of (choice-free) reset nets
• Target-oriented Petri net synthesis
• A new property of choice-free Petri net systems
• Theory and Applications of Models of Computation
• Edge, event and state removal: the complexity of some basic techniques that make transition systems Petri net implementable
• The synthesis of Petri nets from path-automatic specifications
• Synthesis of bounded choice-free Petri nets
• Synthesis for various Petri net classes with union/find
• Presynthesis of bounded choice-free or fork-attribution nets
• Synthesis and reengineering of persistent systems
• Design of grid structures on the basis of transition systems with the substantiation of the correctness of their operation
• The power of prime cycles
• \(k\)-bounded Petri net synthesis from modal transition systems
• The synthesis problem of Petri nets
• Efficient synthesis of weighted marked graphs with circular reachability graph, and beyond
• Relabelling LTS for Petri net synthesis via solving separation problems
• Synthesis of nets with step firing policies
• Bounded choice-free Petri net synthesis: algorithmic issues
• Distributing finite automata through Petri net synthesis
• Title not available (Why is that?)
• Petri net synthesis with union/find
• Synthesis of structurally restricted \(b\)-bounded Petri nets: complexity results
• Synthesis of Nets with Step Firing Policies
• Articulation of Transition Systems and Its Application to Petri Net Synthesis
• Stratified petri nets

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)