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.