Vautherin, J.

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

• Memmi, G.; Vautherin, J.:
  Analysing Nets by the Invariant Method. 1987.

• Reisig, W.; Vautherin, J.:
  An Algebraic Approach to High Level Petri Nets. 1987.

• Vautherin, J.:
  Calculation of Semi-Flows for Pr/T-Systems. 1987.

• Vautherin, J.:
  Parallel Systems Specifications with Coloured Petri Nets and Algebraic Specifications. 1987.

• Vautherin, J.:
  Non-Linear Invariants for Coloured Petri Nets with Interdependent Tokens; Application to the Proof of Parallel Programs. 1986.

• Vautherin, J.:
  Une Combinaison des Reseaux de Petri et des Types Abstraits Algebriques pour la Specification des Systemes Paralleles. 1985.

• Vautherin, J.:
  Un Modele Algebrique, Base sur les Reseaux de Petri, pour l'Etude des Systemes Paralleles. 1985.

• Memmi, G.; Vautherin, J.:
  Computation of Flows for Unary-Predicates/Transition Nets. 1984.

Back to the Petri Nets Bibliography