Jacques Vautherin

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

	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

Coauthor Index