最大速度变化的连续Petri网(VCPN)的动态演变及性质判定-计算机研究与发展2002年03期-手机知网

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

中国科学院软件研究所智能工程实验室,山东科技大学基础部,山东科技大学基础部北京100080 ,泰安271019 ,泰安271019 | 叶志宝赵义军董焕河

最大速度变化的连续 Petri网 (VCPN)是由 David等最早提出的一类时延连续 Petri模型 ,但并未对其动态及结构性质给出分析方法 .首先给出了 VCPN的相区间的定义及其划分 ,并结合实例对 VCPN的动态演变过程进行了分析 .在此基础上 ,结合 VCPN的稳定的相区间 ,进一步对其性质给出了相应的定义及判定定理 .利用这些结论 ,可以对由 VCPN模拟的系统进行性能分析 .这种分析方法对某些系统利用 VCPN建模并进行分析提供了理论根据

机　构:

中国科学院软件研究所智能工程实验室,山东科技大学基础部,山东科技大学基础部北京100080 ,泰安271019 ,泰安271019;

领　域:

计算机软件及计算机应用；

关键词:

最大速度变化的连续Petri网(VCPN)；相区间；动态演变；动态性质；结构性质；绝对公平性；

格　式:

PDF原版；EPUB自适应版(需下载客户端)