混杂Petri网系统中同步距离的确定及同步控制器的设计
方欢1
陆阳2
黄镇谨2
杨娟2
1.合肥工业大学计算机与信息学院,安徽合肥230009;安徽理工大学理学院,安徽淮南2320012.合肥工业大学计算机与信息学院,安徽合肥,230009
摘要：目前,对于广义混杂Petri网的变迁公平关系和同步距离都只有极少结论,本文对广义混杂Petri网,给出了两个变迁(组)之间公平关系和同步距离的形式定义,并通过修剪的不变行为状态(invariant behavior,IB)演化图给出确定变迁同步距离的方法,得出了判定变迁公平关系的充要条件,还证明了变迁公平关系、同步距离和修剪的IB演化图之间的联系.本文的方法对简单离散Petri网不仅能得到已有的相关结论,而且推广了同步距离概念适用的范围.最后,以混杂运输控制系统为例,以同步距离为基础设计同步控制器,说明同步距离在实现同步控制结构设计上的有效性.
关键词：广义混杂Petri网变迁公平关系同步距离同步控制器性质判定
分类号：TP301(计算技术、计算机技术)
资助基金：国家自然科学基金(60873195,61070220)高等学校博士学科点专项科研基金(20090111110002)
论文发表日期：2012-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：9( 884-892 )
英文信息