中文摘要：

提出了一种基于基本标识图的Petri网的在线监督控制策略.首先根据原Petri网的初始标识与变迁的可控性,建立基本标识图,通过求解整数规划将其中节点标记为合法或弱非法标识.之后基于标记的基本标识图对Petri网中的可控变迁进行在线控制,从而防止系统到达非法标识.该控制策略能够避免可达图的穷举计算,具有良好的效率.

英文摘要：

This paper proposes a method to design an online controller based on basis marking graphs for Petri nets. According to the initial marking and the controllability of transitions, a basis marking graph is first computed whose nodes are marked as legal or weakly illegal by solving integer programming problems. Based on the marked basis reachability graph, an online transition disabling rule is computed on-time to prevent the system from reaching illegal markings by firing uncontrollable transitions. This control strategy has a high efficiency since the full enumeration of the reachability graph is avoided.