Applying regions
From MaRDI portal
Publication:728281
DOI10.1016/j.tcs.2016.01.040zbMath1355.68192OpenAlexW2914059514MaRDI 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
Petri netconcurrencytransition systemsynthesis problemtheory of regionsa/sync connectionstep semanticswhole-place operations net
Related Items (5)
Synthesis of Petri Nets with Whole-Place Operations and Localities ⋮ Signal set tissue systems and overlapping localities ⋮ Discovering Object-centric Petri Nets ⋮ Target-oriented Petri Net Synthesis ⋮ Topics in region theory and synthesis problems
Uses Software
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
This page was built for publication: Applying regions
