Simultaneous Petri Net Synthesis

DOI10.7561/SACS.2018.2.199zbMath1424.68099OpenAlexW2893236351WikidataQ129189168 ScholiaQ129189168MaRDI QIDQ4621223

Raymond Devillers, Harro Wimmel, Uli Schlachter, Eike Best

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)

Related Items (4)

A New Property of Choice-Free Petri Net Systems ⋮ Articulation of Transition Systems and Its Application to Petri Net Synthesis ⋮ Efficient synthesis of weighted marked graphs with circular reachability graph, and beyond ⋮ Target-oriented Petri Net Synthesis

Uses Software

• APT

This page was built for publication: Simultaneous Petri Net Synthesis