Modelling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models.

For the most recent entries see the Petri Nets Newsletter.

Modelling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models.

Centre National de la Recherche Scientifique, Laboratoire d'Automatique et d'Analyse des Systemes, Toulouse, France. (Tutorial paper 2nd Int. Workshop on Protocol Specification, Testing and Verification, May 17--20, 1982, Idyllwild - Los Angeles, USA), March 1982.

Also in: Computer Networks, pages 419-441. January 1983.

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

Back to the Petri Nets Bibliography