Differences

This shows you the differences between two versions of the page.

Link to this comparison view

online:analysisverification [2009/05/26 13:10] (current)
Line 1: Line 1:
 +====== Analysis/​Verification ======
 +
 +The following process model analysis and verification techniques are available.
 +
 +  * [[http://​www.win.tue.nl/​~hverbeek/​doku.php?​id=projects:​prom:​plug-ins:​analysis:​petrinet|Petri Net Analysis]] \\
 +  * [[http://​www.win.tue.nl/​~hverbeek/​doku.php?​id=projects:​prom:​plug-ins:​analysis:​woflan|Woflan Analysis]] \\
 +  * [[http://​www.win.tue.nl/​~hverbeek/​doku.php?​id=projects:​prom:​plug-ins:​conversion:​pnred|Petri net reduction]]
 +