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 (12)

• Theory and Applications of Models of Computation
• The synthesis of Petri nets from path-automatic specifications
• The synthesis problem of Petri nets
• Efficient synthesis of weighted marked graphs with circular reachability graph, and beyond
• Synthesis of nets with step firing policies
• Distributing finite automata through Petri net synthesis
• Title not available (Why is that?)
• Synthesis of Nets with Step Firing Policies
• Target-oriented Petri Net Synthesis
• A New Property of Choice-Free Petri Net Systems
• 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)