Linear invariants in commutative high level nets

Jean-Michel Couvreur, Javier Martínez. Linear invariants in commutative high level nets. In Grzegorz Rozenberg, editor, Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, Bonn, Germany, June 1989, Proceedings]. Volume 483 of Lecture Notes in Computer Science, pages 146-164, Springer, 1989.

Abstract

Abstract is missing.