For the most recent entries see the Petri Nets Newsletter.

Matrix Specification and Analysis of Colored Petri Nets.

Belikov, V.K.; Rutner, Y.F.

In: Tehn. Kibern. (USSR), Vol. 25, No. 5, pages 164-167. September-October 1987. In Russian.

Also in: Soviet Journal of Computer and Systems Sciences, Vol. 26, No. 3, pages 77-80. 1988. English translation.

Abstract: A definition of a colored Petri net model on the basis of multi-dimensional matrices is introduced, and methods for analyzing it that are based on matrix equations are described. The proposed model represents more accurately the structure of the net, and this allows one to avoid the mutual destruction of information about the input and output arcs of a transition which is typical of other methods of specifying Petri nets.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography