一类离散事件系统的监控器综合  

Supervisor synthesis for a class of discrete event systems

作　　者：罗继亮[1] 吴维敏[2] 董利达[2] 苏宏业[2] 褚健[2] 

机构地区：[1]华侨大学信息科学与工程学院,福建泉州362011 [2]浙江大学先进控制研究所工业控制技术国家重点实验室,浙江杭州310027

出　　处：《控制理论与应用》2007年第4期621-624,共4页Control Theory & Applications

基　　金：国家自然科学基金(60503027);福建省青年人才项目(2006F3087);华侨大学科研基金(06BS212);浙江省自然科学基金(Y104081).

摘　　要：前向无同步前向无冲突网是每个变迁有且只有一个输入库所并且每个库所最多有一个输入变迁的受限Petri网.针对不可控影响子网为前向无同步前向无冲突网的广义互斥约束,显式地给出了最大允许控制策略的计算方法.并用一个例子给予了说明.The forward-synchronization and forward-conflict free（FSFCF） net is a class of Petri nets in which each transition has exactly one input place and each place has at most one input transition. For a class of control problems where the control specification is a general mutual exclusion constraint and the uncontrollable influencing subnet is an FSFCF net, an expression is given to calculate the maximally permissible control policy. An example illustrates the theoretical results.

关 键 词：离散事件系统 监控 PETRI网 

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