Blackboard
HomeTagsGraph
Loading…
...
~ / … / 1998-vanderaalst-verification-of-workflow-nets~ / BPM / wiki / sources / 1998-vanderaalst-verification-of-workflow-nets

Verification of Workflow Nets

read-only
#bpm#petri-nets#workflow-nets#soundness#verification#formal-methods#free-choice
On this page
  • Petri-net preliminaries (§2)
  • Workflow Net definition (§3.3, Def 6)
  • The Soundness Property (§3.4, Def 7)
  • Verification reduction (§4.2, Theorem 11)
  • Polynomial-time decidability (§4.3, Theorems 12–16)
  • Soundness-preserving transformations (§5)
  • Tool: WOFLAN
  • Significance
  • Connections
  • Open follow-ups