最大速度变化的连续Petri网(VCPN)的动态演变及性质判定  

DYNAMIC DEVELOPMENT AND PROPERTIES' DETERMINATION FOR VARIABLE CONTINUOUS PETRI NET (VCPN)

作　　者：叶志宝[1] 赵义军[2] 董焕河[2] 

机构地区：[1]中国科学院软件研究所智能工程实验室,北京100080 [2]山东科技大学基础部,泰安271019

出　　处：《计算机研究与发展》2002年第3期330-334,共5页Journal of Computer Research and Development

基　　金：国家自然科学基金重点项目 (7993 10 0 0 );基金项目(69873 0 2 9);煤炭科学基金(96电 10 5 0 9)资助

摘　　要：最大速度变化的连续 Petri网 (VCPN)是由 David等最早提出的一类时延连续 Petri模型 ,但并未对其动态及结构性质给出分析方法 .首先给出了 VCPN的相区间的定义及其划分 ,并结合实例对 VCPN的动态演变过程进行了分析 .在此基础上 ,结合 VCPN的稳定的相区间 ,进一步对其性质给出了相应的定义及判定定理 .利用这些结论 ,可以对由 VCPN模拟的系统进行性能分析 .这种分析方法对某些系统利用Variable continuous Petri net is one of the timed continuous Petri net models first put forward by David et al ., but analytical methods have not been given for its dynamic and structural properties. The definition and division of phase interval are first put forward, and by means of one living example the dynamic developing process of VCPN is analyzed. On the basis of the aforementioned works, the relevant definitions and determining theorems for the properties of VCPN are presented by means of the steady phase interval of VCPN. With these conclusions, property analysis can be made of VCPN modeled systems. The methods provide theory foundation for those systems modeled by VCPN.

关 键 词：连续PETRI网 离散事件系统 动态演变 动态性质 结构性质 绝对公平性 

分 类 号：TP271.8[自动化与计算机技术—检测技术与自动化装置]