The synthesis problem of Petri nets

DOI10.1007/s002360050046zbMath0849.68085OpenAlexW2048775824MaRDI QIDQ1901703

Jörg Desel, Wolfgang Reisig

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

zbMATH Keywords

Petri netsconcurrent system

Mathematics Subject Classification ID

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

• Unnamed Item
• Partial (set) 2-structures. II: State spaces of concurrent systems
• A methodology for programming with concurrency: An informal presentation
• Elementary transition systems
• Transforming sequential systems into concurrent systems
• PETRI NETS AND STEP TRANSITION SYSTEMS

This page was built for publication: The synthesis problem of Petri nets