For the most recent entries see the Petri Nets Newsletter.

Specification et Validation de Protocoles de Transport par Reseaux de Petri.

Berthelot, G.; Terrat, R.

In: Reunion du Groupe Groplan sur le Parallelisme et les Processus Communicants, Auron, France, Janvier 1981. 1981.


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

Back to the Petri Nets Bibliography