Title :
Clarification on the Computation of Liveness-Enforcing Supervisor for Resource Allocation Systems With Uncontrollable Behavior
Author :
Hu, Hesuan ; Li, ZhiWu
Author_Institution :
Sch. of Electro-Mech. Eng., Xidian Univ., Xi´´an, China
fDate :
7/1/2009 12:00:00 AM
Abstract :
In previous work, an acceptable transformation of an unacceptable specification on a Petri net can be implemented through a set of mathematical programming formulations. However, such a method becomes invalid when no solution exists in practice. In this paper, we reestablish these formulations and show their correctness.
Keywords :
Petri nets; integer programming; resource allocation; Petri net; integer programming formulation; liveness-enforcing supervisor computation; mathematical programming formulation; resource allocation system; uncontrollable behavior; Liveness enforcing supervision; Petri nets; resource allocation systems; uncontrollability;
Journal_Title :
Automation Science and Engineering, IEEE Transactions on
DOI :
10.1109/TASE.2009.2021349
