An Optimization Approach to Petri Net Monitor Design

@article{citeulike:1180448, abstract = {This note addresses the problem of enforcing generalized mutual exclusion constraints on a Petri net plant. First, we replace the classical partition of the event set into controllable and uncontrollable events from supervisory control theory, by associating a control and observation cost to each event. This leads naturally to formulate the supervisory control problem as an optimal control problem. Monitor places which enforce the constraint are devised as a solution of an integer linear programming problem whose objective function is expressed in terms of the introduced costs. Second, we consider timed models for which the monitor choice may lead to performance optimization. If the plant net belongs to the class of mono-T-semiflow nets, we present an integer linear fractional programming approach to synthesize the optimal monitor so as to minimize the cycle time lower bound of the closed loop net. For strongly connected marked graphs the cycle time of the closed-loop net can be minimized}, author = {Basile, Francesco and Chiacchio, Pasquale and Giua, Alessandro }, citeulike-article-id = {1180448}, journal = {Automatic Control, IEEE Transactions on}, keywords = {deadlock, monitor, nets, petri, siphon}, number = {2}, pages = {306--311}, posted-at = {2007-03-22 09:32:58}, priority = {2}, title = {An Optimization Approach to Petri Net Monitor Design}, url = {http://ieeexplore.ieee.org/xpls/abs\_all.jsp?arnumber=4099484}, volume = {52}, year = {2007} }

TY - JOUR ID - citeulike:1180448 L3 - citeulike-article-id:1180448 TI - An Optimization Approach to Petri Net Monitor Design JF - Automatic Control, IEEE Transactions on VL - 52 IS - 2 SP - 306 EP - 311 N2 - This note addresses the problem of enforcing generalized mutual exclusion constraints on a Petri net plant. First, we replace the classical partition of the event set into controllable and uncontrollable events from supervisory control theory, by associating a control and observation cost to each event. This leads naturally to formulate the supervisory control problem as an optimal control problem. Monitor places which enforce the constraint are devised as a solution of an integer linear programming problem whose objective function is expressed in terms of the introduced costs. Second, we consider timed models for which the monitor choice may lead to performance optimization. If the plant net belongs to the class of mono-T-semiflow nets, we present an integer linear fractional programming approach to synthesize the optimal monitor so as to minimize the cycle time lower bound of the closed loop net. For strongly connected marked graphs the cycle time of the closed-loop net can be minimized KW - deadlock KW - monitor KW - nets KW - petri KW - siphon AU - Basile, Francesco AU - Chiacchio, Pasquale AU - Giua, Alessandro PY - 2007/// UR - http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4099484 ER -