×

兹马思-数学第一资源

PeCAn:Petri网的组合验证变得容易。(英语) 兹布1448.68305
Cassez,Franck(ed.)等人,《验证和分析自动化技术》。第12届国际研讨会,ATVA 2014,澳大利亚新南威尔士州悉尼,2014年11月3日至7日。诉讼程序。柏林:斯普林格。选择。笔记计算。科学。8837242-247(2014年)。
摘要:本文介绍了支持Petri网组合验证的工具PeCAn。除了经典的特性(如动态分析和多个Petri网之间的同步),PeCAn生成符号观察图(SOG),并使用它们的组合来支持多个Petri网的模块化抽象,以实现更有效的验证。此外,PeCAn实现了一种基于反例的增量策略来进行模型检查,从而显著地提高了执行时间和内存空间的开销。PeCAn还为用户提供输入Petri网及其相应sog的可视化。我们用Petri网模型检验竞赛中的基准数据集对PeCAn进行了实验,结果令人满意。
整个系列请参见[Zbl 1325.68014].
理学硕士:
68Q60型 规范和验证(程序逻辑、模型检查等)
6885年 并行和分布式计算的模型和方法(过程代数、互模拟、转移网等)
PDF格式 BibTeX公司 XML 引用
全文: 内政部