Vidal-Naquet, G.

• Sami, Y.; Vidal-Naquet, G.:
  Formalisation of the Behavior of Actors by Colored Petri Nets and some Applications. 1991.

• Sami, Y.; Vidal-Naquet, G.:
  Formalization of the bahvior of actors by colored Petri nets and some applications. 1991.

• Yamina, Sami; Vidal-Naquet, G.:
  Formalisation of the behavior of actors by colored Petri nets and some applications. 1991.

• Sami, Y.; Vidal-Naquet, G.:
  Formalisation of the Behavior of Actors by Colored Petri Nets and some Applications. 1990.

• Vidal-Naquet, G.; Sami, Y.:
  Formalisation of the Behaviour of Actors by Coloured Petri Nets, and some Applications. 1990.

• Berthelot, G.; Vautherin, J.; Vidal-Naquet, G.:
  A Syntax for the Description of Petri Nets. 1988.

• Finkel, A.; Vidal-Naquet, G.:
  Structuration des Systemes de Transitions - Applications au Controle du Parallelisme par Files FIFO. 1986.

• Vidal-Naquet, G.:
  Petri Networks and their Applications. 1986.

• Pelz, E.; Vidal-Naquet, G.:
  Reseaux de Petri, leurs Extensions, leurs Langages. 1985.

• Vidal-Naquet, G.:
  Deterministic Languages of Petri Nets. 1982.

• Brams, G.W.; Andre, C.; Berthelot, G.; Girault, C.; Memmi, G.; Roucairol, G.; Sifakis, J.; Valette, R.; Vidal-Naquet, G.:
  Reseaux de Petri: Theorie et Pratique. Tome 1: Theorie et Analyse; Tome 2: Modelisation et Applications. 1982.

• Valk, R.; Vidal-Naquet, G.:
  Petri Nets and Regular Languages. 1981.

• Vidal-Naquet, G.:
  Rationalite et Determinisme dans les Reseaux de Petri. 1981.

• Valk, R.; Vidal-Naquet, G.:
  On the Rationality of Petri Net Languages. 1977.

• Vidal-Naquet, G.:
  Methodes pour les Problemes d'Indecidabilite et de Complexite sur les Reseaux de Petri. 1977.

• Vidal-Naquet, G.:
  Methodes pour les Problemes de Decidabilite et de Complexite pour les Reseaux de Petri. 1977.

Back to the Petri Nets Bibliography