线性变迁时间相关的连续Petri网(LTCPN)的动态性质及分析方法

Dynamic Properties and Analytical Methods of the Linear-changed and Time-correlated Continuous Petri Net (LTCPN)

线性变迁时间相关的连续Petri网（LTCPN）是由徐学文最早提出的一类时延连续Perti网模型，但并未对其动态性质给出确切的定义及相应的分析方法。本文在给出LTCPN有关动态性质的定义的基础上，利用微积分、微分方程等分析手段，进一步对其动态性质给出了相应的判定定理。利用这些结论，可以对由LTCPN模拟的系统进行性能分析。

Linear-changed and Time-correlated Continuous Petri Net (LTCPN) is one kind of the Time-extended Continuous Petri Net model first put forward by XU Xue-wen, but exact definition and corresponding analytical method of its dynamic properties have not been given. On the basis of working out the definition of the dynamic properties of LTCPN, this paper, by means of infinitesimal calculus and differential equation, further proposes the relevant determining theorems for its dynamic properties. With these conclusions, property analysis of systems simulated by LTCPN can be made.