清华大学计算机科学与技术系,北京,100084
纸质出版:2004
移动端阅览
李雅娟, 林 闯. 随机高级Petri网在异构系统中的应用[J]. 电子学报, 2004,32(11):1839-1843.
LI Ya-juan, LIN Chuang. Application of Stochastic High-Level Petri Nets in Inhomogeneous Systems[J]. Acta Electronica Sinica, 2004, 32(11): 1839-1843.
传统的随机高级Petri网(Stochastic high-level Petri nets
SHLPNs)通过将多个同构子系统压缩成一个子系统
并将具有相同标记分布的多个标识压缩成一个标识(复合标识)
从而有效地减小模型规模和状态空间.但该方法仅适用于若干同构子系统组成的系统中
本文将这种方法扩展
通过引入非对称的变迁实施谓词和扩展的复合标识
精确地模型并分析异构系统
同时也保持了SHLPNs在化简模型和状态空间方面的优越性.
Traditional Stochastic High-Level Petri Nets (SHLPNs) can efficiently simplify system models by folding more than one homogeneous subsystem into one subsystem
and obviously reduce state space size by grouping more than one marking with the same token distribution into one marking.The grouped marking is called as Compound Markings (CMs).However
this method can only be applied to the systems consisting of homogeneous subsystems.This paper extends the traditional method to solve this problem that traditional SHLPNs are only limited to homogeneous systems
by proposing asymmetrical transition-firing predication and extended compound marking concept.The new method can model and analyze inhomogeneous systems exactly.Furthermore
it retains the SHLPNs advantages of simplifying models and reducing state space size.
0
浏览量
754
下载量
1
CSCD
关联资源
相关文章
相关作者
相关机构
京公网安备11010802024621