Pages that link to "Item:Q1901703"
From MaRDI portal
The following pages link to The synthesis problem of Petri nets (Q1901703):
Displaying 23 items.
- Projection approaches to process mining using region-based techniques (Q408692) (← links)
- Regions of Petri nets with a/sync connections (Q714824) (← links)
- Applying regions (Q728281) (← links)
- The synthesis problem for elementary net systems is NP-complete (Q1389765) (← links)
- Signal set tissue systems and overlapping localities (Q1682863) (← links)
- From decidability to undecidability by considering regular sets of instances (Q2062120) (← links)
- Synthesis of (choice-free) reset nets (Q2117175) (← links)
- Synthesis of inhibitor-reset Petri nets: algorithmic and complexity issues (Q2165238) (← links)
- Synthesis and reengineering of persistent systems (Q2257983) (← links)
- Step semantics of Boolean nets (Q2376982) (← links)
- Synthesis of Petri Nets with Whole-Place Operations and Localities (Q3179395) (← links)
- Tissue Systems and Petri Net Synthesis (Q3452477) (← links)
- A Symbolic Algorithm for the Synthesis of Bounded Petri Nets (Q3510859) (← links)
- Does My Service Have Partners? (Q3623824) (← links)
- Process discovery and Petri nets (Q3655758) (← links)
- Aggregating Causal Runs into Workflow Nets (Q4909355) (← links)
- Discovering Object-centric Petri Nets (Q4988950) (← links)
- Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis (Q5025057) (← links)
- Automated Repair of Process Models with Non-local Constraints Using State-Based Region Theory (Q5025067) (← links)
- Synthesis of Pure and Impure Petri Nets with Restricted Place-environments: Complexity Issues (Q5044398) (← links)
- Automated Repair of Process Models Using Non-local Constraints (Q5100758) (← links)
- Synthesis of Nets with Step Firing Policies (Q5900140) (← links)
- Strategies for minimising the synthesised ENL-systems (Q6550565) (← links)
