In: Program. Comput. Software, Vol. 14, No. 3, pages 120-124. March 1989.
Abstract: A model of a colored Petri net using four-dimensional matrices is defined in this work. Methods of Petri net analysis are described based on matrix equations, which makes it possible to overcome the difficulties of using colored nets for software modeling.
Keywords: coloured net; matrix approach; reachability tree; software modelling.