Petri Net Synthesis for Restricted Classes of Nets

DOI10.1007/978-3-319-39086-4_6zbMATH Open1346.68140OpenAlexW2477047858MaRDI QIDQ2822652FDOQ2822652

Authors: Uli Schlachter 

Publication date: 4 October 2016

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

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

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

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)

Cites Work

• Logic Synthesis for Asynchronous Controllers and Interfaces
• Proof tree preserving interpolation
• Title not available (Why is that?)
• A Symbolic Algorithm for the Synthesis of Bounded Petri Nets
• 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
• State space axioms for T-systems
• Synthesis of bounded choice-free Petri nets
• Characterisation of the state spaces of live and bounded marked graph Petri nets
• Petri net synthesis
• Process Discovery Using Integer Linear Programming
• Title not available (Why is that?)
• Identification of Petri nets from knowledge of their language
• Distributing finite automata through Petri net synthesis
• Petri net distributability

Cited In (19)

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

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)