Factorisation of Petri net solvable transition systems
From MaRDI portal
Publication:2280180
DOI10.1007/978-3-319-91268-4_5zbMath1427.68192OpenAlexW2799745976MaRDI QIDQ2280180
Uli Schlachter, Raymond Devillers
Publication date: 18 December 2019
Full work available at URL: https://doi.org/10.1007/978-3-319-91268-4_5
Related Items (4)
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 ⋮ Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis
This page was built for publication: Factorisation of Petri net solvable transition systems