| 引用本文: | 方欢,陆阳,黄镇谨,杨娟.混杂Petri网系统中同步距离的确定及同步控制器的设计[J].控制理论与应用,2012,29(7):884~892.[点击复制] |
| FANG Huan,LU Yang,HUANG Zhen-jin,YANG Juan.Synchronization distance determination and synchronization controller design for hybrid Petri nets[J].Control Theory and Technology,2012,29(7):884~892.[点击复制] |
|
| 混杂Petri网系统中同步距离的确定及同步控制器的设计 |
| Synchronization distance determination and synchronization controller design for hybrid Petri nets |
| 摘要点击 2555 全文点击 1972 投稿时间：2011-09-07 修订日期：2011-12-19 |
| 查看全文 查看/发表评论 下载PDF阅读器 |
| DOI编号 10.7641/j.issn.1000-8152.2012.7.CCTA111020 |
| 2012,29(7):884-892 |
| 中文关键词 广义混杂Petri网 变迁公平关系 同步距离 同步控制器 性质判定 |
| 英文关键词 general hybrid Petri nets fairness relationship of transitions synchronization distance synchronization controller properties determination |
| 基金项目 国家自然科学基金资助项目(60873195, 61070220); 高等学校博士点基金资助项目(20090111110002). |
|
| 中文摘要 |
| 目前, 对于广义混杂Petri网的变迁公平关系和同步距离都只有极少结论, 本文对广义混杂Petri网, 给出了两个变迁(组)之间公平关系和同步距离的形式定义, 并通过修剪的不变行为状态(invariant behavior, IB)演化图给出确定变迁同步距离的方法, 得出了判定变迁公平关系的充要条件, 还证明了变迁公平关系、同步距离和修剪的IB演化图之间的联系. 本文的方法对简单离散Petri网不仅能得到已有的相关结论, 而且推广了同步距离概念适用的范围. 最后, 以混杂运输控制系统为例, 以同步距离为基础设计同步控制器, 说明同步距离在实现同步控制结构设计上的有效性. |
| 英文摘要 |
| There are rare conclusions so far in studies of transition fairness and synchronization distance for general hybrid Petri nets. On the basis of the definition of general hybrid Petri nets, we formally define the transition fairness and the synchronization distance, and propose the method for determining the synchronization distance by using the pruned invariant behavior (IB) evolution graph. Sufficient and necessary conditions for fairness determination are developed, and the relationships among the fairness, synchronization and pruned IB evolution graph are confirmed. The proposed method not only gives existing results in simple Petri nets, but also extends the application scope in the determination of the synchronization distance. A synchronization controller is designed on the basis of the synchronization distance for a hybrid transportation control system, the performance of which demonstrates the valid application of the synchronization distance to the realization of the synchronization control |
|
|
|
|
|