Petri Net Synthesis for Restricted Classes of Nets

DOI10.1007/978-3-319-39086-4_6MaRDI QIDQ2822652zbMATH OpenOpenAlexFDO

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 minimizationPetri net propertiesPetri net synthesisregion theory

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

• 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
• scientific article; zbMATH DE number 1302048 (Why is no real title available?)
• scientific article; zbMATH DE number 1305001 (Why is no real title available?)
• 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

(20)

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

Describes a project that uses

Uses Software

• SMT-LIB
• Synet
• APT
• Petrify
• 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)