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

For the most recent entries see the Petri Nets Newsletter.

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

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