Parallel systems specitications with coloured Petri nets and algebraic specifications

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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.