Synthesis of supervisors enforcing general linear vector constraints in Petri nets
Proceedings of the American Control Conference - Tập 1 - Trang 154-159 vol.1
Tóm tắt
Considers the problem of enforcing linear constraints containing marking terms, firing vector terms, and Parikh vector terms. Such constraints increase the expressivity power of the linear marking constraints. We show how this new type of constraints can be enforced in Petri nets. In the case of fully controllable and observable Petri nets, we give the construction of a supervisor enforcing such constraints. In the case of Petri nets with uncontrollable and/or unobservable transitions, we reduce the supervisor synthesis problem to enforcing linear marking constraints on a transformed Petri net.
Từ khóa
#Vectors #Petri nets #Ear #Control system synthesis #Supervisory control #Discrete event systemsTài liệu tham khảo
10.1109/9.280750
10.1109/ACC.2002.1024796
10.1109/ICSMC.1992.271666
10.1016/0005-1098(95)00103-4
moody, 1999, Enforcement of event-based supervisory constraints using state-based methods, Proceedings of the 38th Conference on Decision and Control, 1743
10.1109/9.847725
10.1007/978-1-4615-5711-1