The following pages link to A fresh look at free choice nets (Q3718162):
Displaying 12 items.
- Structure theory of equal conflict systems (Q672877) (← links)
- Partial order behaviour and structure of Petri nets (Q911779) (← links)
- Some behavioural aspects of net theory (Q913516) (← links)
- \(B\)-fairness and structural \(B\)-fairness in Petri net models of concurrent systems (Q1191025) (← links)
- Fifo nets without order deadlock (Q1819941) (← links)
- Reduction using induced subnets to systematically prove properties for free-choice nets (Q2117169) (← links)
- Extended Synchronized Choice Nets (Q4474742) (← links)
- {SC}*ECS: A class of modular and hierarchical cooperating systems (Q4633176) (← links)
- Perpetual Free-choice Petri Nets are Lucent Proof of a Theorem of van der Aalst Using CP-exhaustions (Q5025056) (← links)
- PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets (Q5100757) (← links)
- Free-choice Nets with Home Clusters are Lucent (Q5158668) (← links)
- Kleene Theorems for Product Systems (Q5200095) (← links)
