WFMM99 - Final Program

Final Program

Workshop on Formal Methods and Manufacturing

Zaragoza, Spain - Monday, September 6, 1999

Workshop homepage: http://www.diee.unica.it/~giua/WFMM99/wfmm99.html

08h45-09h00 Opening Session of the workshop

09h00-10h00 Survey by R. Valette
R Champagnat, R. Valette, H. Pingaud (LASS/LGC Toulouse, France)
Formal methods for batch production systems.

10h00-10h30 G. Hetreux, C. Artigues, B. Palomino
A two phase method for short term scheduling in batch processes.

10h30-11h00 Coffee Break

11h00-11h30 F. Balduzzi, A. Giua, C. Seatzu (Polit. Torino/ U. Cagliari, Italy)
Modelling Automated Manufacturing Systems with Hybrid Automata.

11h30-12h00 I. Demongodin, M. Mostefaoui, N. Sauer (Ecole des Mines de Nantes, France)
Liveness of hybrid marked graphs.

12h00-12h30 L. Pietrac, B. Denis, J-J. Lesage (INSA-Lyon/ENS de Cachan, France)
An approach of formal meta-modeling for the design methods of automated manufacturing systems.

Lunch

14h30-15h30 S. Kowaleski (U. of Dortmund, Germany)
Formal methods and the processing industries : status and prospects from an academic perspective.

15h30-16h00 B.C Damasceno, X. Sie (Inria Metz, France)
Integration of scheduling and deadlock avoidance of manufacturing systems.

16h00-16h30 Coffee Break

16h30-17h00 E. Canuto, F. Balduzzi (Politecnico di Torino, Italy)
Manufacturing Algebra : a formal method for modelling Manufacturing Systems.

17h00-17h30 C. Haro, P. Martineau, C. Proust (E3I, Université de Tours, France)
A new generalized Petri Net transformation.

17h30-18h00 F. Basile, P. Chiacchio, V. Vittorini, Mazzocca (U. di Napoli I and II, Italy)
Modelling flexible manufacturing systems : a Petri net modular approach.

08h45-09h00	Opening Session of the workshop
09h00-10h00	Survey by R. Valette R Champagnat, R. Valette, H. Pingaud (LASS/LGC Toulouse, France) Formal methods for batch production systems.
10h00-10h30	G. Hetreux, C. Artigues, B. Palomino A two phase method for short term scheduling in batch processes.
10h30-11h00	Coffee Break
11h00-11h30	F. Balduzzi, A. Giua, C. Seatzu (Polit. Torino/ U. Cagliari, Italy) Modelling Automated Manufacturing Systems with Hybrid Automata.
11h30-12h00	I. Demongodin, M. Mostefaoui, N. Sauer (Ecole des Mines de Nantes, France) Liveness of hybrid marked graphs.
12h00-12h30	L. Pietrac, B. Denis, J-J. Lesage (INSA-Lyon/ENS de Cachan, France) An approach of formal meta-modeling for the design methods of automated manufacturing systems.

14h30-15h30	S. Kowaleski (U. of Dortmund, Germany) Formal methods and the processing industries : status and prospects from an academic perspective.
15h30-16h00	B.C Damasceno, X. Sie (Inria Metz, France) Integration of scheduling and deadlock avoidance of manufacturing systems.
16h00-16h30	Coffee Break
16h30-17h00	E. Canuto, F. Balduzzi (Politecnico di Torino, Italy) Manufacturing Algebra : a formal method for modelling Manufacturing Systems.
17h00-17h30	C. Haro, P. Martineau, C. Proust (E3I, Université de Tours, France) A new generalized Petri Net transformation.
17h30-18h00	F. Basile, P. Chiacchio, V. Vittorini, Mazzocca (U. di Napoli I and II, Italy) Modelling flexible manufacturing systems : a Petri net modular approach.