Regions of Petri nets with a/sync connections

DOI10.1016/j.tcs.2012.04.016zbMath1267.68156OpenAlexW1970813562MaRDI QIDQ714824

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

Publication date: 11 October 2012

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

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

zbMATH Keywords

Petri netconcurrencytransition systemsynthesis problemtheory of regionsplace transition netsynchronous and asynchronous communicationa/sync connectionstep sequence semantics

Mathematics Subject Classification ID

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

Related Items

Tissue Systems and Petri Net Synthesis ⋮ Approximate analyzing of labeled transition systems ⋮ Applying regions ⋮ Discovering Object-centric Petri Nets

Uses Software

• rbminer
• Reo
• Genet
• VipTool

Cites Work

• Localities in systems with a/sync communication
• Partial (set) 2-structures. II: State spaces of concurrent systems
• Elementary transition systems
• The synthesis problem for elementary net systems is NP-complete
• Zero-safe nets: Comparing the collective and individual token approaches.
• A trace semantics for Petri nets
• The synthesis problem of Petri nets
• Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques
• Process Discovery Using Integer Linear Programming
• PETRI NETS AND STEP TRANSITION SYSTEMS
• Flip-flop nets
• Logic Synthesis for Asynchronous Controllers and Interfaces
• Reo: a channel-based coordination model for component composition
• Algorithm for finding a general formula for the non-negative solutions of a system of linear inequalities
• Synthesis of Nets with Step Firing Policies
• On the Petri net realization of context-free graphs
• Synthesis of nets with inhibitor arcs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item