In: 1990; Formal Techniques in Protocol Specification and Testing. Proceedings of the 2nd International KNP-4 Workshop, 1989, Bad Saarow, Germany: Informatik, Informationen, Reporte, Nr. 10, pages 63-72. Berlin, Germany: Institut für Informatik und Rechentechnik, 1990. In Russian.
Abstract: The enhancement of Petri nets for solving the problems of systems engineering is proposed. The feasibility of the proposed approach is tested on the transport protocol X.224 (CCITT, class 3).
Keywords: communication protocol; enhanced net; transport protocol X.224.