引用本文:罗继亮, 吴维敏, 董利达, 苏宏业, 褚健.一类离散事件系统的监控器综合[J].控制理论与应用,2007,24(4):621~624.[点击复制]
LUO Ji-liang, WU Wei-min, DONG Li-da, SU Hong-ye, CHU Jian.Supervisor synthesis for a class of discrete event systems[J].Control Theory and Technology,2007,24(4):621~624.[点击复制]
一类离散事件系统的监控器综合
Supervisor synthesis for a class of discrete event systems
摘要点击 1357  全文点击 1067  投稿时间：2005-07-11  修订日期：2006-09-07
查看全文  查看/发表评论  下载PDF阅读器
DOI编号  
  2007,24(4):621-624
中文关键词  离散事件系统  监控  Petri网
英文关键词  discrete event systems  supervisory control  Petri nets
基金项目  国家自然科学基金资助项目(60503027); 福建省青年人才项目(2006F3087); 华侨大学科研基金资助项目(06BS212); 浙江省自然科学基金资助项目(Y104081).
作者单位
罗继亮, 吴维敏, 董利达, 苏宏业, 褚健 华侨大学信息科学与工程学院, 福建泉州362011
浙江大学先进控制研究所工业控制技术国家重点实验室, 浙江杭州310027 
中文摘要
      前向无同步前向无冲突网是每个变迁有且只有一个输入库所并且每个库所最多有一个输入变迁的受限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.