Petri Net Synthesis for Restricted Classes of Nets

DOI10.1007/978-3-319-39086-4_6MaRDI QIDQ2822652zbMATHOpenAlexFDO

Authors Uli Schlachter

Publication date 4 October 2016

Published in Application and Theory of Petri Nets and Concurrency (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-319-39086-4_6

zbMATH Keywords

Petri net synthesisregion theoryPetri net propertiesPetri net minimization

Mathematics Subject Classification ID

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

Recommendations

• Petri net synthesis
• scientific article; zbMATH DE number 4074503
• Synthesis of Petri nets with restricted place-environments: classical and parameterized
• Over-approximative Petri net synthesis for restricted subclasses of nets
• scientific article; zbMATH DE number 512821
• The synthesis problem of Petri nets
• Synthesis of Petri nets from finite partial languages
• Synthesis of bounded choice-free Petri nets
• Synthesis of structurally restricted \(b\)-bounded Petri nets: complexity results
• Synthesis of Pure and Impure Petri Nets with Restricted Place-environments: Complexity Issues

Cites work

• scientific article; zbMATH DE number 1302048 (Why is no real title available?)
• scientific article; zbMATH DE number 1305001 (Why is no real title available?)
• A Symbolic Algorithm for the Synthesis of Bounded Petri Nets
• Characterisation of the state spaces of live and bounded marked graph Petri nets
• Distributing finite automata through Petri net synthesis
• Identification of Petri nets from knowledge of their language
• Logic Synthesis for Asynchronous Controllers and Interfaces
• New Region-Based Algorithms for Deriving Bounded Petri Nets
• Partial (set) 2-structures. I: Basic notions and the representation problems
• Partial (set) 2-structures. II: State spaces of concurrent systems
• Petri net distributability
• Petri net synthesis
• Process Discovery Using Integer Linear Programming
• Proof tree preserving interpolation
• State space axioms for T-systems
• Synthesis of bounded choice-free Petri nets

Cited in

(19)

• Reduction and synthesis of live and bounded free choice Petri nets
• Synthesis of Nets with Step Firing Policies
• Theory and Applications of Models of Computation
• Petri net synthesis with union/find
• The synthesis problem of Petri nets
• Synthesis of Petri nets with restricted place-environments: classical and parameterized
• scientific article; zbMATH DE number 1836392 (Why is no real title available?)
• Petri net synthesis
• Synthesis of nets with step firing policies
• Stratified petri nets
• Synthesis for various Petri net classes with union/find
• Over-approximative Petri net synthesis for restricted subclasses of nets
• Synthesis of a Class of Deadlock-Free Petri Nets
• Comparison of different algorithms to synthesize a Petri net from a partial language
• Presynthesis of bounded choice-free or fork-attribution nets
• Synthesis of Petri nets from finite partial languages
• Target-oriented Petri net synthesis
• Simultaneous Petri Net Synthesis
• A Symbolic Algorithm for the Synthesis of Bounded Petri Nets

Describes a project that uses

Uses Software

• SMT-LIB
• Petrify
• Synet
• APT
• GitHub

This page was built for publication: Petri Net Synthesis for Restricted Classes of Nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2822652)