最大速度恒定的连续Petri网(CCPN)的性质及判定方法

摘要：

最大速度恒定的连续Petri网(CCPN)是由David等最早提出的一类时延连续Petri网模型,但并未对其性质给出确切的定义及相应的判定方法.文[1]中给出了CCPN的演变图及其构造算法.本文在给出CCPN有关性质的定义的基础上,结合CCPN的演变图,进一步对其性质给出了相应的判定定理,利用这些结论,可以对由CCPN模拟的系统进行性能分析.

关键词：最大速度恒定的连续Petri网、演变图、动态性质、结构性质、绝对公平性

所属期刊栏目：15

分类号：TP301(计算技术、计算机技术)

资助基金：中国科学院资助项目69873029;煤炭科学基金96点10509

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：107-112