In: Avtomatika I Vychislitelnaya Tekhnika, Vol. 22, No. 6, pages 3-10. 1988. In Russian.
Also in: Automatic Control and Computer Sciences, Vol. 22, No. 6, pages 1-9. 1988. English translation.
Abstract: A formal model is suggested which is the product of a combination of the algebra of regular Petri nets with high-level Petri nets; the system is intended for complete specification of protocols. The concept of an elementary protocol procedure is defined. Rules of protocol composition are introduced: conjugation, superposition, and destruction. The rules are shown to preserve protocol validity. The concept is illustrated by X.25/3 protocol procedures.