Pages that link to "Item:Q2280193"
From MaRDI portal
The following pages link to Markings in perpetual free-choice nets are fully characterized by their enabled transitions (Q2280193):
Displaying 4 items.
- Reduction using induced subnets to systematically prove properties for free-choice nets (Q2117169) (← links)
- Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks (Q5009443) (← links)
- Perpetual Free-choice Petri Nets are Lucent Proof of a Theorem of van der Aalst Using CP-exhaustions (Q5025056) (← links)
- Free-choice Nets with Home Clusters are Lucent (Q5158668) (← links)