Jacques Vautherin

According to our database, Jacques Vautherin authored at least 5 papers between 1984 and 1987.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1987

Calculation of Semi-Flows for Pr/T-Systems.

Jacques Vautherin

Proceedings of the Second International Workshop on Petri Nets and Performance Models, 1987

1986

Parallel systems specitications with coloured Petri nets and algebraic specifications.

Jacques Vautherin

Proceedings of the Advances in Petri Nets 1987, 1986

Analysing Nets by the Invariant Method.

Gérard Memmi, Jacques Vautherin

Proceedings of the Petri Nets: Central Models and Their Properties, 1986

1985

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

Jacques Vautherin

Proceedings of the Advances in Petri Nets 1985, 1985

1984

Computation of flows for unary-predicates/transition-nets.

Jacques Vautherin, Gérard Memmi

Proceedings of the Advances in Petri Nets 1984, 1984