×

兹马思-数学第一资源

基于区域的混合Petri网单次通用转换分析。(英语) Zbl 1374.68329
Jurdzinnski,Marcin(ed.)等人,《时间系统的形式化建模与分析》。2012年9月18日至20日,英国伦敦,2012年格式第十届国际会议。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-33364-4/pbk)。计算机科学课堂讲稿7595139-154(2012)。
摘要:最近,具有单一一般一次转换(HPnGs)的混合Petri网被引入,并提出了一种使用条件/解条件方法分析其底层状态空间的算法。在本文中,我们提出了一种更有效的分析HPnGs的算法。所提出的算法将基本状态空间映射到一个平面上,用于一般转移的所有可能触发时间和所有可能的系统时间(t)。该方法的核心思想是,不需要处理无限多个点在(t \)-(s \)平面上,而是将状态空间划分为若干个区域,使得一个区域内的所有点都与同一个系统状态相关联。为了计算在时间\(\tau\)处于特定系统状态的概率,只需找到与线路\(t=\tau\)相交的所有区域,并对交叉点上的点火时间进行条件调整就足够了。这种划分可以大大加快速度,并提供更精确的结果。一个可扩展的案例研究说明了相对于先前算法的效率增益。
整个系列请参见[Zbl 1251.68022].

理学硕士:
6885年 并行和分布式计算的模型和方法(过程代数、互模拟、转移网等)
PDF格式 BibTeX公司 XML 引用
全文: 内政部