Pages that link to "Item:Q5100751"
From MaRDI portal
The following pages link to A New Property of Choice-Free Petri Net Systems (Q5100751):
Displaying 10 items.
- Bounded choice-free Petri net synthesis: algorithmic issues (Q1789066) (← links)
- Synthesis of (choice-free) reset nets (Q2117175) (← links)
- Synthesis of inhibitor-reset Petri nets: algorithmic and complexity issues (Q2165238) (← links)
- Presynthesis of bounded choice-free or fork-attribution nets (Q2304527) (← links)
- The Power of Prime Cycles (Q2822651) (← links)
- Free-Choice Petri Nets without Frozen Tokens, and Bipolar Synchronization Systems (Q3560559) (← links)
- (Q4023470) (← links)
- Free Choice Petri Nets (Q4856177) (← links)
- Perpetual Free-choice Petri Nets are Lucent Proof of a Theorem of van der Aalst Using CP-exhaustions (Q5025056) (← links)
- Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis (Q5025057) (← links)