Applying regions

DOI10.1016/j.tcs.2016.01.040zbMath1355.68192MaRDI QIDQ728281

Marta Pietkiewicz-Koutny, Grzegorz Rozenberg, Maciej Koutny, H. C. M. Kleijn

Publication date: 19 December 2016

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2016.01.040

zbMATH Keywords

Petri net; concurrency; transition system; synthesis problem; theory of regions; a/sync connection; step semantics; whole-place operations net

Mathematics Subject Classification ID

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

Related Items

Discovering Object-centric Petri Nets, Target-oriented Petri Net Synthesis, Signal set tissue systems and overlapping localities, Topics in region theory and synthesis problems, Synthesis of Petri Nets with Whole-Place Operations and Localities

Uses Software

• rbminer
• Genet
• VipTool

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Regions of Petri nets with a/sync connections
• Petri net synthesis
• Partial (set) 2-structures. II: State spaces of concurrent systems
• Elementary transition systems
• The synthesis problem for elementary net systems is NP-complete
• A well-structured framework for analysing Petri net extensions
• Zero-safe nets: Comparing the collective and individual token approaches.
• A trace semantics for Petri nets
• The synthesis problem of Petri nets
• Tissue Systems and Petri Net Synthesis
• Process Discovery Using Integer Linear Programming
• A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations
• PETRI NETS AND STEP TRANSITION SYSTEMS
• Flip-flop nets
• Logic Synthesis for Asynchronous Controllers and Interfaces
• Algorithm for finding a general formula for the non-negative solutions of a system of linear inequalities
• Synthesis of Nets with Step Firing Policies
• Well-structured transition systems everywhere!
• On the Petri net realization of context-free graphs
• Synthesis of nets with inhibitor arcs