混杂Petri网系统中同步距离的确定及同步控制器的设计

作     者：方欢 陆阳 黄镇谨 杨娟 FANG Huan;LU Yang;HUANG Zhen-jin;YANG Juan

作者机构：合肥工业大学计算机与信息学院安徽合肥230009 安徽理工大学理学院安徽淮南232001 

出 版 物：《控制理论与应用》 (Control Theory & Applications)

年 卷 期：2012年第29卷第7期

页      面：884-892页

核心收录：

学科分类：0711[理学-系统科学] 07[理学] 08[工学] 081101[工学-控制理论与控制工程] 0811[工学-控制科学与工程] 081202[工学-计算机软件与理论] 071102[理学-系统分析与集成] 081103[工学-系统工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家自然科学基金资助项目(60873195 61070220) 高等学校博士点基金资助项目(20090111110002) 

主　　题：广义混杂Petri网 变迁公平关系 同步距离 同步控制器 性质判定 

摘      要：目前,对于广义混杂Petri网的变迁公平关系和同步距离都只有极少结论,本文对广义混杂Petri网,给出了两个变迁(组)之间公平关系和同步距离的形式定义,并通过修剪的不变行为状态(invariant behavior,IB)演化图给出确定变迁同步距离的方法,得出了判定变迁公平关系的充要条件,还证明了变迁公平关系、同步距离和修剪的IB演化图之间的联系.本文的方法对简单离散Petri网不仅能得到已有的相关结论,而且推广了同步距离概念适用的范围.最后,以混杂运输控制系统为例,以同步距离为基础设计同步控制器,说明同步距离在实现同步控制结构设计上的有效性.