PhD Seminar Course on

Batches Petri nets: hybrid models for high speed systems with variable delays

Cagliari, July 13, 2011

This activity was made possible by the "Visiting Professors 2010" program of the University of Cagliari, sponsored by the Autonomous Region of Sardinia

Instructor: Prof. Isabel DEMONGODIN
Laboratoire des Sciences de l'Information et des Systèmes, LSIS - UMR CNRS 6168 Université Paul-Cézanne Marseille, France
Schedule: Wednesday July 13, 2011 - h: 17:00
Venue: Meeting Room (DIEE, Stand B)
Topics: Recently, the possibility of associating both discrete events and continuous time behaviour in the same formalism has generated a considerable interest in the Petri net paradigm. A central issue in this field is the concept of hybrid Petri net which consists in continuous transitions and places holding non negative real number, and discrete transitions and places holding integer tokens. By adding a new type of nodes, batch transitions and batch places, batches Petri nets have been defined. A batch node combines both a discrete event and a linear continuous dynamic behaviour in a single structure. Batches Petri nets can then be used in the performance analysis of high-speed systems composed of continuous transfer elements which introduce variable delays on continuous flows. In this talk, the complete formalism of Batches Petri nets will be given: definition of the model; enabling and firing rules; time analysis methods. High throughtput manufacturing systems and road transportation networks will illustrate this hybrid formalism.
Organizer: Alessandro Giua
Dep. of Electrical and Electronic Engineering
University of Cagliari, Italy