Jacques Vautherin. Non-linear invariants for coloured Petri nets with interdependent tokens; application to the proof of parallel programs. In Grzegorz Rozenberg, editor, Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers. Volume 222 of Lecture Notes in Computer Science, pages 418-434, Springer, 1985.
Abstract is missing.