WORKFLOW ANALYSIS
STRUCTURAL (STATIC) ANALYSIS
PROPERTIES:
SAFENESS
BOUNDEDNESS
REACHABILITY
DEADLOCK
LIVENESS
SOUNDEDNESS
TECHNIQUES:
SIPHONS AND TRAPS
REACHABILITY GRAPH
INVARIANTS
SUBCLASSES:
WELL-STRUCTURED
FREE-CHOICE PETRI NETS