Event-driven control for reaching a steady state in controlled Generalized Batches Petri Nets

This paper addresses the control problem of controlled generalized batches Petri nets. The considered problem is to reach a given steady state from an initial one by controlling the firing flow of transitions. The proposed strategy is event-driven and the control actions are updated only when specific events occur. It is based on an algorithm with a linear programming problem that computes a new control firing flow vector when the considered events occur. The convergence of the marking to its steady state marking by the proposed strategy is proved and an example is provided to illustrate the computation steps.