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

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

最大速度变化的连续 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.