基于TSTWT网系统的显式控制器设计

摘要：

在基于Petri网的离散事件系统监控理论中,显式控制器的设计具有非常重要的意义。当Petri网为无环网时,控制器设计可以通过线性整数规划法求解,当Petri网含环结构, 目前而言,只有当Petri网的最大不可控子网中前向子网为STWT时可以求出其显式控制器,然而上述方法只是局限于库所层面的简化,而从另一个方向,即变迁层面的简化来扩展受控Petri网的显式控制器的设计,能够进一步解决最大不可控子网含环状结构后的显式控制器的求解难题。

关键词： 离散事件 Petri网 显式控制器 含环结构 线性整数规划

作者: 董利达 郑寒 程曦浩

作者单位: 浙江大学 电子电路与信息系统研究所,杭州 310027 浙江大学电子电路与信息系统研究所,杭州 310027

会议类型: 国内会议

会议名称: 第十二届全国petri网理论与应用学术年会

会议地点: 天津

会议语种:中文

页码: 127-131

在线出版日期: 2009-08-22（万方平台首次上网日期，不代表论文的发表时间）