Batches Petri nets
Isabel Demongodin, N. Audry, F. Prunet · 2002
This paper presents a new type of Petri nets, batches Petri nets. This model, an extension of the hybrid Petri nets, allows one to integrate a formalisation of parts circulation on accumulation conveyors. The batches Petri net is defined with the introduction of a new kind of place and transition: the batch place and batch transition. Evolution rules are determined in order to do the simulation of systems composed by accumulation phenomena.>