Jacques Vautherin

Calculation of Semi-Flows for Pr/T-Systems

Jacques Vautherin, 1987, PNPM.

Parallel systems specitications with coloured Petri nets and algebraic specifications

Jacques Vautherin, J. Vautherin, 1986, European Workshop on Applications and Theory of Petri Nets.

Computation of flows for unary-predicates/transition-nets

Jacques Vautherin, Gérard Memmi, 1984, European Workshop on Applications and Theory in Petri Nets.

Analysing Nets by the Invariant Method

Jacques Vautherin, Gérard Memmi, G. Memmi, 1986, Advances in Petri Nets.

Non-linear invariants for coloured Petri nets with interdependent tokens; application to the proof of parallel programs

Jacques Vautherin, 1985, Applications and Theory in Petri Nets.

Analysing Nets by the Invariant Method

Jacques Vautherin, Gérard Memmi, 1986 .