采用基本标识图的Petri网控制策略

摘要

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