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

• 作者: 程曦浩 董利达 郑寒
• 来源期刊: 浙江大学学报(工学版)
• 学科: 工学
• 关键词: 离散事件系统 Petri网 显式监控器 T-图工作流
• 年，卷（期）: 2010,（6）
• 页码范围: 1057-1066
• 页数: 10页
• 分类号: TP301
• 语种: 中文
• DOI: 10.3785/j.issn.1008-973X.2010.06.002

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	董利达		21	152	7.0	12.0
2	郑寒		2	0	0.0	0.0
3	程曦浩		2	0	0.0	0.0