Pages that link to "Item:Q988568"

The following pages link to Simplified proof of the blocking theorem for free-choice Petri nets (Q988568):

Displaying 3 items.

• Reduction using induced subnets to systematically prove properties for free-choice nets (Q2117169) (← 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)