In: Azéma, P.; Balbo, G.: Lecture Notes in Computer Science, Vol. 1248: 18th International Conference on Application and Theory of Petri Nets, Toulouse, France, June 1997, pages 447-466. Berlin, Germany: Springer-Verlag, June 1997.
Abstract: In this paper we describe a multirelational approach for performing linear algebraic manipulations of (coloured) Petri nets. In particular, we show how orthogonal transformations can be used in order to describe the net folding and unfolding operations.