哈米德·加塞米耶;安妮·雷姆克;Boudewijn，Haverkort;马可·格里鲍多 基于区域的混合Petri网分析，具有单个一般一次性转换。 （英语） Zbl 1374.68329号 Jurdziñski，Marcin（ed.）等人，时间系统的形式化建模和分析。2012年9月18日至20日，第十届国际会议，FORMATS 2012，英国伦敦。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33364-4/pbk）。计算机科学课堂讲稿7595139-154（2012）。 摘要：最近，引入了具有单一一般一次性转移（HPnG）的混合Petri网，以及一种使用条件/反条件方法分析其底层状态空间的算法。本文提出了一种更有效的HPnG分析算法。该算法将基本状态空间映射到一个平面上，用于一般转换的所有可能触发时间（s）和所有可能的系统时间（t）。该方法的关键思想是，我们可以将状态空间划分为多个区域，从而使一个区域内的所有点都与相同的系统状态相关联，而不是处理（t）-（s）-平面上的无穷多个点。要计算在时间（τ）时处于特定系统状态的概率，只需找到与线（t=τ）相交的所有区域，并对交叉点的点火时间进行修正。这种分区会大大提高速度，并提供更准确的结果。一个可扩展的案例研究说明了与先前算法相比的效率提升。有关整个系列，请参见[Zbl 1251.68022号]. 引用于2文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） PDF格式BibTeX公司 XML格式引用 \textit{H.Ghasemieh}等人，Lect。注释计算。科学。7595、139--154（2012年；Zbl 1374.68329） 全文： 内政部