Extension of Batches Petri Nets by Bi-parts Batch Places.
Radhia Gaddouri, Léonardo Brenner, Isabel Demongodin · 2014
Abstract. This paper proposes an extension of Batches Petri Nets by a new definition of the batch place called Bi-parts Batch place (BB-place). The flow-density equations that govern the dynamics of control-lable batches inside a BB-place is now defined by a triangular relation. To take into account controlled events, the behaviors of batches are dis-cussed according to a variation of speeds and of maximum flows. The switching dynamics of controllable batches is defined on three behaviors: free, congestion and decongestion behaviors. We also propose the compu-tation of the instantaneous firing flow vector associated with continuous and batch transitions thanks to a resolution of a linear programming problem. An example of traffic road illustrates the novel extensions pro-posed in this paper.