In: Program., (USSR), Vol. 12, No. 3, pages 23-28. May-June 1988. In Russian.
Also in: Programming and Comput. Software, Vol. 14, No. 3, pages 120-124. March 1989. English translation.
Abstract: The authors define a model of a coloured Petri net using four-dimensional matrices. They describe methods of Petri net analysis based on matrix equations, which make it possible to overcome the difficulties of using coloured nets for firmware software.