Proving nonreachability by modulo-invariants

Flexibility in Algebraic Nets

ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets

Structural Methods to Improve the Symbolic Analysis of Petri Nets

Proceedings of the 20th International Conference on Application and Theory of Petri Nets

Petri Net Theory - Problems Solved by Commutative Algebra

Proceedings of the 20th International Conference on Application and Theory of Petri Nets

''What Is a Petri Net?''

Unifying Petri Nets, Advances in Petri Nets