Pages that link to "Item:Q1901703"
From MaRDI portal
The following pages link to The synthesis problem of Petri nets (Q1901703):
Displaying 11 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)
