| |
| 1987 | ||
|---|---|---|
| 5 | Jacques Vautherin: Calculation of Semi-Flows for Pr/T-Systems. PNPM 1987: 174-183 | |
| 1986 | ||
| 4 | Gérard Memmi, Jacques Vautherin: Analysing Nets by the Invariant Method. Advances in Petri Nets 1986: 300-336 | |
| 3 | Jacques Vautherin: Parallel systems specitications with coloured Petri nets and algebraic specifications. European Workshop on Applications and Theory of Petri Nets 1986: 293-308 | |
| 1985 | ||
| 2 | Jacques Vautherin: Non-linear invariants for coloured Petri nets with interdependent tokens; application to the proof of parallel programs. Applications and Theory in Petri Nets 1985: 418-434 | |
| 1984 | ||
| 1 | Jacques Vautherin, Gérard Memmi: Computation of flows for unary-predicates/transition-nets. European Workshop on Applications and Theory in Petri Nets 1984: 455-467 | |
| 1 | Gérard Memmi | [1] [4] |