For the most recent entries see the Petri Nets Newsletter.

Use of Expanded Petri Nets for Protocol Specification.

Golovin, Y.A.; Matveeva, V.A.

In: Avtomatika I Vychislitelnaya Tekhnika, Vol. 22, No. 6, pages 11-17. 1988. In Russian.

Also in: Automatic Control and Computer Sciences, Vol. 22, No. 6, pages 10-16. 1988. English translation.

Abstract: A modification of predicate-transition Petri nets is introduced which provides a complete and compact protocol specification. The basic specification schemes for protocols of various complexities are described. A method is suggested for specification development illustrated by description of the main procedures.

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

Back to the Petri Nets Bibliography