In: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 340: Advances in Petri Nets 1988, pages 386-417. Springer-Verlag, 1988.
Abstract: Inside Synchrony Theory, this paper deals with a computation of structural synchronic invariants. It is based on the state equation of the place/transition net and on Linear Programming theory. The approach is conceptually very simple, general and computationally very efficient.