From: msilva@mcps.unizar.es (Petri Nets, Manuel Silva)
Date: Thu May 23 12:27:16 MET DST 1996
Errors-To: PetriNets-request@daimi.aau.dk
To: PetriNets@daimi.aau.dk (Petri Nets Mail List, Mail questions to PetriNets-request@daimi.aau.dk)
Subject: ICATPN96: Program for Workshop on Manufacturing and Petri Nets

Zaragoza May 22,1996


Dear colleagues,

Enclosed you can find the program of the "First International Workshop
on Manufacturing and Petri Nets" to be held next june 25 in Osaka
within the set of events around the "International Conferences on
Application and Theory of Petri Nets" (ICATPN96).

For any practical information concerning the on place organization you can 
address your questions to :

 PN96@ele.eng.osaka-u.ac.jp
 
 
Sincerely yours

M. Silva (Univ. of Zaragoza)
R. Valette (LAAS, Toulouse)
K. Takahashi (Titech, Tokyo)

                                                                       
 

First International Workshop on Manufacturing and Petri Nets
============================================================

PROGRAM


9:00-9:10. Wellcome to the Workshop

9:10-9:50.
Petri Nets for Desing and Operation of Manufacturing Systems: An overview
M. Silva and E. Teruel, Universidad de Zaragoza, Spain
 
9:50-10:15. 
A bottom-up approach for efficient qualitative analysis.
P. Finotto, D. Crestan and F. Prunet, Universite de Montpellier, France

10:15-10:40.
A Case Study in Developing Control Software on Manufacturing Systems with 
Hierarchical Petri Nets.
M. Heiner, P. Deussen and J. Spranger, Brandenburg Technical University of 
Cottbus, Germany

10:40-11:05.
Towards the implementation of conflict resolution on a non autonomous high-level 
Petri net model.
L. Gomes and A. Steiger-Garcao, Universidade Nova de Lisboa, Portugal


11:05-11:35. COFFE BREAK

11:35-12:00.
Performance and Dependability Evaluation of Manufacturing Systems Using Petri 
Nets.
A. Zimmermann, S. Bode and G. Hommel, Technische Universitat Berlin, Germany 

12:00-12:25.
Study of a kanban system using SNS: the Synchronized Network Solver.
Marco Tilgner, Yukio Takahashi and Gianfranco Ciardo, Tokyo Institute of 
Technology  and College of Williams and Mary, Japan and USA 

12:25-12:50.
The Use of Fuzzy Coloured Petri Nets for Modelling and Simulation in 
Manufacturing
Wolfgang Fengler and Almuth Wendt, Technical University of Ilmenau, Germany

12:50-14:30. LUNCH

14:30-15:10.
Petri nets techniques for supervisory control of discrete event systems.
A. Giua, Universita de Cagliary, Italy

15:10-15:35
Supervision of Discrete Event System Using Petri Nets and Supervisory Control 
Theory.
G.C. Barroso, A.M.N. Lima and A. Perkusich, Universidad Federal de Paraiba, 
Brasil

15:35-16:00.
Graphical Analysis and Synthesis of Deadlock Avoidance in Flexible Manufacturing 
Systems.
Hensuke Hasegawa, Makiko Sugisawa (Toin University of Yokohama, Japan)
Zbignew A. Banaszak (University of Zierona Gona, Poland)
Riqun MA (Oriental Motors Co., Japan)

16:00-16:25.
Analysis of a Resource Allocation Problem in FMS Using Structure Theory of Petri 
Nets.
K. Barkaoui and I. Abdallah, CEDRIC-CNAM and Ecole Centrale Paris, France

16:25-16:55. COFFE BREAK
 
16:55-17:20.
Cycling Schedules in Flexible Manufacturing Systems with Flexibilities in 
operating sequences.
H. Camus, H. Ohl, O. Korbaa and J. C. Gentina , Ecole Centrale de Lille, France

17:20-17:45.
Petri Net Modeling and Scheduling for Periodic Job Shops with Blocking.
T. Lee and J. Song, Korea Advanced Institute of Science and Technology 


                                                                    

============================================================
Manuel Silva
Departamento de Informatica e Ingenieria de Sistemas
Centro Politecnico Superior, Universidad de Zaragoza
c/ Maria de Luna,3.
E-50015 ZARAGOZA (Spain)

e-mail:        msilva@mcps.unizar.es
Phone(New!!!): +34.76.761949(secretariat)
               +34.76.761952(direct)
Fax (New!!!):  +34.76.761861
============================================================