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

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

作　　者：董利达[1] 郑寒[1] 程曦浩[1] 

机构地区：[1]浙江大学电子电路与信息系统研究所,浙江杭州310027

出　　处：《浙江大学学报（工学版）》2010年第6期1057-1066,共10页Journal of Zhejiang University：Engineering Science

基　　金：国家自然科学资金资助项目(60503027);国家"863""高技术研究发展计划资助项目(2006AA040309);浙江省科技厅资助项目(2007C1046)

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

关 键 词：离散事件系统 PETRI网 显式监控器 T-图工作流 

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