The synthesis problem of Petri nets
From MaRDI portal
Publication:1901703
DOI10.1007/s002360050046zbMath0849.68085OpenAlexW2048775824MaRDI QIDQ1901703
Publication date: 19 November 1995
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s002360050046
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (23)
Synthesis of Pure and Impure Petri Nets with Restricted Place-environments: Complexity Issues ⋮ Tissue Systems and Petri Net Synthesis ⋮ Step semantics of Boolean nets ⋮ Synthesis of Petri Nets with Whole-Place Operations and Localities ⋮ Synthesis of inhibitor-reset Petri nets: algorithmic and complexity issues ⋮ The synthesis problem for elementary net systems is NP-complete ⋮ Signal set tissue systems and overlapping localities ⋮ Automated Repair of Process Models Using Non-local Constraints ⋮ Synthesis of nets with inhibitor arcs ⋮ Projection approaches to process mining using region-based techniques ⋮ A Symbolic Algorithm for the Synthesis of Bounded Petri Nets ⋮ Aggregating Causal Runs into Workflow Nets ⋮ Synthesis and reengineering of persistent systems ⋮ Regions of Petri nets with a/sync connections ⋮ Applying regions ⋮ Does My Service Have Partners? ⋮ From decidability to undecidability by considering regular sets of instances ⋮ Synthesis of Nets with Step Firing Policies ⋮ Discovering Object-centric Petri Nets ⋮ Process discovery and Petri nets ⋮ Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis ⋮ Automated Repair of Process Models with Non-local Constraints Using State-Based Region Theory ⋮ Synthesis of (choice-free) reset nets
Cites Work
This page was built for publication: The synthesis problem of Petri nets
