| 最大速度恒定的连续Petri网(CCPN)的性质及判定方法 |
| |
| 引用本文： | 赵义军,王培良. 最大速度恒定的连续Petri网(CCPN)的性质及判定方法[J]. 系统工程学报, 2000, 15(1): 107-112 |
| |
| 作者姓名： | 赵义军 王培良 |
| |
| 作者单位： | 山东科技大学基础部,泰安,271019 |
| |
| 基金项目： | 国家自然科学基金!资助项目 ( 69873 0 2 9)，煤炭科学基金资助项目!( 96电 10 5 0 9) |
| |
| 摘 要： | 最大速度恒定的连续Ｐｅｔｒｉ网是由Ｄａｖｉｄ等最早提出的一类时延连续Ｐｅｔｒｉ网模型，但并未对其性质给出确切的定义及相应的判定方法。文「１」中给出了ＣＣＰＮ的演变图及其构造算法，本文在给出ＣＣＰＮ以对扬系统进行性能分析。
|
| 关 键 词： | 连续Petri网 演变图 结构性质 绝对公平性 |
Properties and determining methods of constant continuous Petri net(CCPN) |
| |
| ZHAO Yi-Jun,WANG Pei-Liang. Properties and determining methods of constant continuous Petri net(CCPN)[J]. Journal of Systems Engineering, 2000, 15(1): 107-112 |
| |
| Authors: | ZHAO Yi-Jun WANG Pei-Liang |
| |
| Abstract: | Constant continuous Petri net is one of the Timed Continuous Petri net models first put forward by David and others, but exact definitions and determining methods have not been given to its properties. Zhao et al. have given in[1] the developing graph and generating algorithm of CCPN. On the basis of working out the definitions of the relevant properties of CCPN, this paper, by means of the developing graph, further proposes the relevant determining theorems for its properties. With these conclusions, property analysis can be made of CCPN modelled systems. |
| |
| Keywords: | constant continuous Petri net developing graph dynamic property structural property absolute fairness |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
