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