For the most recent entries see the Petri Nets Newsletter.

Communication Protocol Validation by Petri Nets.

Bandman, O.L.

In: Avtom. & Vychisl. Tekh. (USSR), Vol. 20, No. 6, pages 82-91. 1986. In Russian.

Also in: Autom. Control & Comput. Sci. (USA), Vol. 20, No. 6, pages 77-85. 1986. English translation.

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

Back to the Petri Nets Bibliography