Petri Net Controllers for Generalized Mutual Exclusion Constraints with Floor Operators

Ziyue Ma,Zhiwu Li,Alessandro Giua
DOI: https://doi.org/10.1016/j.automatica.2016.07.042
IF: 6.4
2016-01-01
Automatica
Abstract:In this paper a special type of nonlinear marking specifications called stair generalized mutual exclusion constraints (stair-GMECs) is defined. A stair-GMEC can be represented by an inequality whose left-hand is a linear combination of floor functions. Stair-GMECs have higher modeling power than classical GMECs and can model legal marking sets that cannot be defined by OR–AND GMECs. We propose two algorithms to enforce a stair-GMEC as a closed-loop net, in which the control structure is composed by a residue counter, remainder counters, and duplicate transitions. We also show that the proposed control structure is maximally permissive since it prevents all and only the illegal trajectories of a plant net. This approach can be applied to both bounded and unbounded nets. Several examples are proposed to illustrate the approach.
What problem does this paper attempt to address?