Uses Petri nets to simulate sequences, search for P-invariants and T-invariants, coverability tree, and more. Useful for industrial engineering students.
Uses Petri nets to simulate sequences, search for P-invariants and T-invariants, coverability tree, and more. Useful for industrial engineering students.