10.3969/j.issn.1672-3767.2000.02.006
线性变迁时间相关的连续Petri网(LTCPN)的动态性质及分析方法
线性变迁时间相关的连续Petri(LTCPN)是由徐学文最早提出的一类时延连续Perti网模型,但并未对其动态性质给出确切的定义及相应的分析方法.本文在给出LTCPN有关动态性质的定义的基础上,利用微积分、微分方程等分析手段,进一步对其动态性质给出了相应的判定定理.利用这些结论,可以对由LTCPN模拟的系统进行性能分析.
线性变迁时间相关的连续Petri网、瞬时激发速度、基本关系、动态性质、绝对公平性
19
TP316.4(计算技术、计算机技术)
国家自然科学基金69873029;煤炭科学基金96电10509
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
共4页
22-24,28