The following pages link to (Q4023470):
Displaying 6 items.
- A valuation-based analysis of conflict-free Petri nets (Q1605406) (← links)
- Negotiation as concurrency primitive (Q1731828) (← links)
- Free-Choice Petri Nets without Frozen Tokens, and Bipolar Synchronization Systems (Q3560559) (← 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)
- Advances in quantitative analysis of free-choice workflow Petri nets (invited talk) (Q6486416) (← links)