混杂Petri网系统中同步距离的确定及同步控制器的设计
目前,对于广义混杂Petri网的变迁公平关系和同步距离都只有极少结论,本文对广义混杂Petri网,给出了两个变迁(组)之间公平关系和同步距离的形式定义,并通过修剪的不变行为状态(invariant behavior,IB)演化图给出确定变迁同步距离的方法,得出了判定变迁公平关系的充要条件,还证明了变迁公平关系、同步距离和修剪的IB演化图之间的联系.本文的方法对简单离散Petri网不仅能得到已有的相关结论,而且推广了同步距离概念适用的范围.最后,以混杂运输控制系统为例,以同步距离为基础设计同步控制器,说明同步距离在实现同步控制结构设计上的有效性.
广义混杂Petri网、变迁公平关系、同步距离、同步控制器、性质判定
29
TP301(计算技术、计算机技术)
国家自然科学基金资助项目60873195,61070220;高等学校博士点基金资助项目20090111110002
2013-01-21(万方平台首次上网日期,不代表论文的发表时间)
共9页
884-892