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

Properties and determining methods of constant continuous Petri net(CCPN)

作　　者：赵义军[1] 王培良[1] 

机构地区：[1]山东科技大学基础部,泰安271019

出　　处：《系统工程学报》2000年第1期107-112,共6页Journal of Systems Engineering

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

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

关 键 词：连续PETRI网 演变图 结构性质 绝对公平性 

分 类 号：TP183[自动化与计算机技术—控制理论与控制工程]