For the most recent entries see the Petri Nets Newsletter.

Une Methode de Verification des Reseaux de Petri.

Berthelot, G.

In: Edite par l'Institut de Programmation de Paris: Reseaux de Petri. Paris, 23--24 Mars 1977 AFCET., pages 33-54. 1977.

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

Back to the Petri Nets Bibliography