For the most recent entries see the Petri Nets Newsletter.

Recursive Definition of Protocols Based on Petri Net Theory.

Anisimov, N.A.

In: Avtomatika I Vychislitelnaya Tekhnika, No. 5, pages 3-7. 1987. In Russian.

Also in: Autom. Control Comput. Sci., Vol. 21, No. 5, pages 1-4. 1987. English translation.

Abstract: The author introduces the algebra of regular macronets (RMN), which is an extension of the algebra of regular Petri nets and is intended for describing protocol structures. To describe protocols that employ similar procedures for executing dissimilar functions, the author proposes a formal model that is called a recursive RMN and that constitutes a compact notation of an RMN of a certain class.


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

Back to the Petri Nets Bibliography