Jacques Vautherin Non-linear invariants for coloured Petri nets with interdependent tokens; application to the proof of parallel programs. [Citation Graph (0, 0)][DBLP] Applications and Theory in Petri Nets, 1985, pp:418-434 [Conf]
Jacques Vautherin Parallel systems specitications with coloured Petri nets and algebraic specifications. [Citation Graph (0, 0)][DBLP] European Workshop on Applications and Theory of Petri Nets, 1986, pp:293-308 [Conf]
Jacques Vautherin, Gérard Memmi Computation of flows for unary-predicates/transition-nets. [Citation Graph (0, 0)][DBLP] European Workshop on Applications and Theory in Petri Nets, 1984, pp:455-467 [Conf]