In: Lecture Notes in Computer Science, Vol. 1279: 11th International Symposium on Fundamentals of Computation Theory (FCT'97), pages 105-116. 1997.
Abstract: In this paper we describe and apply a multirelational approach for performing linear-algebraic refinement of coloured Petri nets.