For the most recent entries see the Petri Nets Newsletter.

Automatic System for Investigation of Communication Protocols Using Enhancement of Petri Nets.

Golovin, Yu.A.; Matveeva, V.A.

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.

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

Back to the Petri Nets Bibliography