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

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

Explicit controller design for a class of controlled Petri nets with marked graph loops

A rule of substitution for marked graph workflow (TWF) net was proposed after defining the structure of TWF and studying its properties. Then, according to the structral charateristics of TS-I and TS-Ⅱ, two new subsets of Petri nets named TWT-I and TWT-Ⅱ were defined. When the TWF was used as a substituted subnet, the original system and the substitution system have the same bound to the same name ploce vector(SNPV). Then, a method was also proposed to design an explicit controller when all forward subnets in an uncontrollable subnet satisfy TWT-I or TWT-Ⅱ, which maybe include some marked graph loops. Finally, the application of this approach was illustrated by an example which was modeled by the controlled Petri net with some loops.