一种混杂Petri网模型动态演变研究  

Dynamic Evolution of Hybrid Petri Nets

作　　者：廖伟志[1] 古天龙[2] 

机构地区：[1]广西师范学院信息技术系 [2]桂林电子工业学院计算机系,广西桂林541004

出　　处：《小型微型计算机系统》2007年第4期645-650,共6页Journal of Chinese Computer Systems

基　　金：国家自然科学基金项目(60563005)资助;广西科学基金项目(桂科青0640032)资助;广西教育厅项目(200508174;自筹项目)资助.

摘　　要：为了实现R.David和H.Alla所定义的混杂Petri网模型行为分析的正确性,提出了一个通用的模型动态演变方法.该方法给出了基于线性规划方法的混杂Petri网瞬时引发速率求解方法,解决了有效冲突情形下的瞬时引发速率求解问题.分析了改变不变行为(Invariant Behavior,简称IB)状态事件之间的相互作用及其对模型演变正确性的影响,同时提出了判定改变IB状态事件的方法.例子表明了所提出的理论与方法对混杂Petri网模型动态演变正确求解的重要性和有效性.As the traditional algorithm for the dynamic evolution of Hybrid Petri Nets （HPN） may not be used for many HPN models, a new method to construct evolution graph for HPN was proposed. This paper make following contributions： （1） Proposes an efficient way to compute the instant firing speed （IFS） of HPN based on linear programming; （2） Develops a new approach to determine the event that change the IB-state of HPN; （3） presents an efficient algorithm to construct evolution graph for HPN based on the proposed way. Through case study, the effectiveness of the developed approach and algorithm are illustrated.

关 键 词：混杂PETRI网 动态演变 瞬时引发速率 有效冲突 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]