一类含T-图环结构受控网显式控制器设计

摘要

定义并研究了T-图工作流网的结构和相关性质,提出一种基于T-图工作流网的替换规则,在此基础上,根据树Ⅰ型和树Ⅱ型的结构特点,构造2种新类型的Petri网子类,即T-图工作流—树Ⅰ型和T-图工作流—树Ⅱ型的Petri网.利用T-图工作流子网替换前后原网系统和替换网系统对同名库所权矢量的界保持不变的替换特性,给出一种适用于前向子网为T-图工作流—树I型或者T-图工作流—树Ⅱ型的受控Petri网显式控制器设计方法,应用示例表明:所提出的方法适用于一类最大不可控子网含T-图环结构时的受控Petri网显式控制器设计.