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.