Boundedness and liveness enforcement for labeled Petri nets using transition priority  

作　　者：Ye-Jia Liu Xun-Bo Li 

机构地区：[1]School of Mechanical and Electrical Engineering,University of Electronic Science and Technology of China,Chengdu,611731,China

出　　处：《Journal of Electronic Science and Technology》2023年第4期75-90,共16页电子科技学刊（英文版）

基　　金：the Project of Industrial Internet and Integration of Industrialization and Industrialization of Guangxi,China under Grant No.Guigong2021-37.

摘　　要：This paper deals with the supervisory control problem of discrete event systems modeled by labeled Petri nets. The system is originally unbounded. First, the solvability of the problem is confirmed. A necessary condition is given and proven for the existence of a feasible priority-based controller based on the notions of liveness and transition invariants. Next, a cyclic behavior graph is constructed, which shows the reachable markings that guarantee the maximum liveness of the system within a given bound vector. Finally, an on-line control strategy is proposed to enforce boundedness and liveness to the given system by appending priority relations to transitions. The dynamic priority relation changes flexibly according to the current state of the system and enforces the system evolving in a bounded and live manner. In addition, numerical examples are studied to verify the validity of the proposed approach that remains the structure of the plant net and is efficient for on-line control.

关 键 词：BOUNDEDNESS Control strategy LIVENESS Petri nets PRIORITY Transition invariant 

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构] TP391.1[自动化与计算机技术—计算机科学与技术]