A Workshop within the
XVIII International Conference on
Applications and Theory of Petri Nets
Toulouse, June 23, 1997
F. Dicesare, Rensselaer Polytechnic Institute, USA
M. Silva, University of Zaragoza, Spain
R. Valette, LAAS-CNRS, Toulouse, France.
Petri nets have been applied in manufacturing for many years. Manufacturing systems, where many processes evolve concurrently and share common resources, are indeed complex. Thus formal modeling, analysis and synthesis techniques are important issues for their design and operation. In recent years, as flexible manufacturing systems are increasingly used in practice, Petri nets are commonly used for performance evaluation and real-time control (directly or under the form of the Grafcet which is an international standard for Programmable Logic Controllers).
This directory contains the proceedings of the ``Second International Workshop on Manufacturing and Petri nets'' (Toulouse June 23, 1997). It is indeed the second workshop on this subject within the ``International Conferences on Application and Theory of Petri Nets'' after that of the Osaka conference last year.
We have received 13 submissions and 9 have been accepted for presentation after evaluation of two or three referees. In addition, two invited papers are given, one is a survey on distributed simulation for discrete event systems, and the other one is about logic and fuzzy Petri nets. The topics of the other papers range from scheduling and production planning to verification and fault tolerance.
We would like to express our gratitude to all authors of submitted papers and the referees. For the local organization of the Workshop all of us are thankful to Pierre Azema and his colleagues.
9:00 Invited Speaker: Frank DiCesare and Michael Gile,
(Rensselaer Polytechnic Institute, Troy, NY, USA)
Toward Distributed Simulation of Complex Discrete Event
Systems Represented by
Colored Petri Nets: A Review.
paper
9:30 Invited Speaker: J. Cardoso (LCMI-UFSC, Florianopolis, Brazil)
and B. Pradin-Chézalviel (LAAS)
Logic and
Fuzzy Petri nets.
paper
10:00 Coffee break
10:30 FMS Scheduling with overlapping production cycles
O. Korbaa, H. Camus, JC Gentina (LAIL
Lille, France)
paper
11:00 Control and error recovery of Petri net models with event
observers
A. Fanni, A. Giua, N. Sanna (Università
di Cagliari, Italy)
paper
11:30 Verification and optimization of control programs by Petri nets
without state explosion
Monika Heiner (Brandeburg University of
Technology at Cotbus, Germany)
paper
12:00 Lunch
14:00 Petri net models of pull control systems for assembly manufacturing
systems
C. Chaouiya, Y. Dallery (Université
Française du Pacifique New Caledonia)
paper
14:30 Modeling an industrial transportation facility with coloured Petri
nets
Bernd Daene, Angela Moelders, Andrea Melber
(Technical University of Ilmenau, Germany)
paper
15:00 Coffee Break
15:30 A coloured Petri net based approach for resource allocation and
fault tolerance for flexible
manufacturing systems
T.C.
Barros, A. Perkusich, J. de Figueiredo (Univ. Fed. da Paraiba, Brazil)
paper
16:00 Two-level Petri net modelling for integrated process and Job Shop
production planning
Klaus-Peter Neuendorf, Dimitris
Kiritsis, Tamas Kis, Paul Xirouchakis
(Ecole Polytechnique
Fédérale de Lausanne, Suisse)
paper
16:30 Scheduling sequential and flexible machines using timed Petri nets
P. Richard, X. Xie (Université
de Tours, France)
paper
17:00 Using linear logic to extend the analysis capabilities of t-invariants
for manufacturing applications
F. Gasnier, M. Bourcerie, JP Elloy, P.
Molinaro (Université d'Angers, France)
paper