For the most recent entries see the Petri Nets Newsletter.

Un Outil Graphique Interactif pour la Verification des Systemes a Evolution Parallele Decrits par Reseaux de Petri.

Pradin-Chezalviel, B.

These Doct.-Ing., Universite Toulouse, 1979.


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

Back to the Petri Nets Bibliography