For the most recent entries see the Petri Nets Newsletter.

Formal Model for Design and Description of Protocols Based on Petri Nets.

Anisimov, N.A.

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.

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

Back to the Petri Nets Bibliography