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.
Back to the Petri Nets Bibliography