Incidence matrix:
Note: columns represent places and rows represent transitions of the net.
More actions:
Decomposition (comparability graphs)
Decomposition (heuristic invariants)
Petri net cover (heuristic invariants)
Concurrency analysis (graph cliques)
Sequentiality analysis (graph cliques)
Please note:
- decomposition and analysis methods (except p-invariants) base on a structural concurrency relation,
- it may take a few minutes to open. Timeout = 5 minutes.