Over-approximative Petri net synthesis for restricted subclasses of nets

DOI10.1007/978-3-319-77313-1_23zbMath1504.68147OpenAlexW2790255131MaRDI QIDQ1647718

Uli Schlachter

Publication date: 26 June 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-77313-1_23

zbMATH Keywords

Petri net synthesisregion theoryPetri net properties

Mathematics Subject Classification ID

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

Related Items (5)

Synthesis of inhibitor-reset Petri nets: algorithmic and complexity issues ⋮ Articulation of Transition Systems and Its Application to Petri Net Synthesis ⋮ Target-oriented Petri Net Synthesis ⋮ Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis ⋮ Synthesis of (choice-free) reset nets

Uses Software

• APT

This page was built for publication: Over-approximative Petri net synthesis for restricted subclasses of nets