Mon, 27/04/2009 (All day)
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 is given through the definition of the model, the enabling and firing rules, the time analysis methods, and some examples illustrate these notions.