帕罗什阿齐兹·阿卜杜拉;阿莱塔·奈伦 定时Petri网和BQO。 （英语） Zbl 0986.68092号 Colom，José-Manuel（编辑）等人，《Petri网的应用和理论》，2001年。第22届国际会议，ICATPN 2001，英国泰恩河畔纽卡斯尔，2001年6月25-29日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2075, 53-70 (2001). 摘要：我们考虑（无界）定时Petri网（TPN），其中每个令牌都配备了一个表示令牌“年龄”的实值时钟。网络中的每个弧都有一个自然数的子区间，限制了在弧中传播的令牌的年龄。我们应用作者以前开发的基于更好拟序（BQO）理论的方法，导出了一个有效的约束系统，用于自动验证TPN的安全性。我们基于我们的方法实现了一个原型，并将其用于验证Fischer协议的参数化版本。关于整个系列，请参见[Zbl 0967.00078号]. 引用于1审查引用于28文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 软件：Uppaal公司 PDF格式BibTeX公司 XML格式引用 \textit{P.Aziz Abdulla}和\textit{A.Nylén}，莱克特。注释计算。科学。2075、53-70（2001年；Zbl 0986.68092） 全文： 链接