×

兹马思-数学第一资源

罗密欧:分析时间Petri网的工具。(英语) Zbl公司 1081.68618
Etessami,Kousha(编辑)等人,《计算机辅助验证》。第17届国际会议,CAV 2005,爱丁堡,苏格兰,英国,2005年7月6日至10日。诉讼程序。柏林:斯普林格出版社(ISBN 3-540-27231-3/pbk)。计算机科学课堂讲稿3576418-423(2005)。
摘要:本文介绍了时间Petri网(TPN)分析器Romeo的特点。Romeo工具允许TPN的状态空间计算和可达性属性的动态模型检查。它执行从tpn到时间自动机(TAs)的转换,以保持tpn的行为语义(时间双相似性)。此外,我们的工具还处理了时间Petri网(调度tpn)的扩展,对于这种扩展,可以停止和恢复对转换的评估,从而允许建模抢占。
整个系列请参见[Zbl 1078.68004号].

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