Research
Tools
ProM
Event logs
Book
News

Analysis/Verification

The following process model analysis and verification techniques are available.

Petri Net Analysis
Woflan Analysis
Petri net reduction

online/analysisverification.txt · Last modified: 2009/05/26 13:10 (external edit)
Trace: • Analysis/Verification
© 2009 by the Process Mining Group, Math&CS department, Eindhoven University of Technology.

Show pagesource
Old revisions
Recent changes
Login

powered by:
DokuWiki