Article
线性变迁时间相关的连续Petri网（LTCPN）的动态性质及分 …
0
TL;DRAbstract
线性变迁时间相关的连续Ｐｅｔｒｉ网是由徐学文最早提出的一类时延连续Ｐｅｒｔｉ网模型，但并未对其动态性质给出确切的定义及相应的分析方法。本文在给出ＬＴＣＰＮ有关动态性质的定义的基础上，利用微积分、微分方等分析手段，进一步对其动态性质给出了相应的判定定理。利用这些结论，可以对由ＬＴＣＰＮ模拟的系统进行性能分析。
Chat with Paper
AI Agents for this Paper
线性变迁时间相关的连续Ｐｅｔｒｉ网是由徐学文最早提出的一类时延连续Ｐｅｒｔｉ网模型，但并未对其动态性质给出确切的定义及相应的分析方法。本文在给出ＬＴＣＰＮ有关动态性质的定义的基础上，利用微积分、微分方等分析手段，进一步对其动态性质给出了相应的判定定理。利用这些结论，可以对由ＬＴＣＰＮ模拟的系统进行性能分析。
Keywords
Computer science
Chat
Click to start Chat