Incidence matrix:

Note: columns represent places and rows represent transitions of the net.

More actions:

Petri net classification

Place invariant analysis

Decomposition (comparability graphs)

Decomposition (LF-coloring)

Concurrency analysis

Sequentiality analysis

Verilog code

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.