Computation of flows for unary-predicates/transition-nets. - Jacques Vautherin; Gérard Memmi (European Workshop on Applications and Theory in Petri Nets, 1984)

Non-linear invariants for coloured Petri nets with interdependent tokens; application to the proof of parallel programs. - Jacques Vautherin (Applications and Theory in Petri Nets, 1985)

Analysing Nets by the Invariant Method. - Gérard Memmi; Jacques Vautherin (Advances in Petri Nets, 1986)

Parallel systems specitications with coloured Petri nets and algebraic specifications. - Jacques Vautherin (European Workshop on Applications and Theory of Petri Nets, 1986)

Calculation of Semi-Flows for Pr/T-Systems. - Jacques Vautherin (PNPM, 1987)