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

Explicit-controller Design for a Class of Controlled Petri Nets Based on TSTWT Net System

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

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

出　　处：《系统仿真学报》2008年第S2期127-131,共5页Journal of System Simulation

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

摘　　要：在基于Petri网的离散事件系统监控理论中,显式控制器的设计具有非常重要的意义。当Petri网为无环网时,控制器设计可以通过线性整数规划法求解,当Petri网含环结构,目前而言,只有当Petri网的最大不可控子网中前向子网为STWT时可以求出其显式控制器,然而上述方法只是局限于库所层面的简化,而从另一个方向,即变迁层面的简化来扩展受控Petri网的显式控制器的设计,能够进一步解决最大不可控子网含环状结构后的显式控制器的求解难题。It has great significance to design the explicit-controller for the discrete event systems modeled by Petri net.When the Petri net is loop free,its controller can be designed through linear integer programming,however,there is no effective way to design the explicit-controller for the controlled Petri net containing loops unless all of the forward subsets in uncontrollable subnet satisfy STWT so far.This paper proposed a method to design the explicit-controller for a class of controlled Petri nets whose subnet's structure satisfies TSTWT which makes it possible to get the explicit-controller for a broader class of Petri nets containing loops.

关 键 词：离散事件系统 受控PETRI网 简化 显式控制器 

分 类 号：TP273[自动化与计算机技术—检测技术与自动化装置]