Jacques Vautherin

Publication Activity (10 Years)

Years Active: 1984-1987
Publications (10 Years): 0

Publications

Jacques Vautherin
Calculation of Semi-Flows for Pr/T-Systems. PNPM (1987)
Gérard Memmi, Jacques Vautherin
Analysing Nets by the Invariant Method. Advances in Petri Nets (1986)
Jacques Vautherin
Parallel systems specitications with coloured Petri nets and algebraic specifications. European Workshop on Applications and Theory of Petri Nets (1986)
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)
Jacques Vautherin, Gérard Memmi
Computation of flows for unary-predicates/transition-nets. European Workshop on Applications and Theory in Petri Nets (1984)