Free-Choice nets

• Introduced by Hack (‘72)

• Extensively studied by Best (‘87) and Desel and Esparza (‘95)

• Can express concurrency, causality and choice without confusion

• Very strong structural theory

  • necessary and sufficient conditions for liveness and safeness, based on decomposition
  • concurrency, causality and choice relations are mutually exclusive
  • exploits duality between MG and SM

Previous slide

Next slide

Back to first slide

View graphic version