Jacques Vautherin. Parallel systems specitications with coloured Petri nets and algebraic specifications. In Grzegorz Rozenberg, editor, Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets, Oxford, UK, June 1986. Volume 266 of Lecture Notes in Computer Science, pages 293-308, Springer, 1986.
Abstract is missing.