×

兹马思-数学第一资源

定时Petri网和BQOs。(英语) Zbl公司 986.68092
科罗姆,乔斯é-Manuel(ed.)等人,《Petri网的应用与理论》,2001。第22届国际会议,2001年6月25日至29日,泰恩河畔纽卡斯尔。诉讼程序。柏林:斯普林格。选择。笔记计算。科学。2075年,第53-70页(2001年)。
摘要:我们考虑(无界)时间Petri网(tpn),其中每个令牌都配备一个表示令牌“年龄”的实值时钟。网络中的每个弧都有一个自然数的子区间,限制了走弧的代币的年龄。本文应用作者提出的一种基于更好拟序(BQOs)理论的方法,导出了tpn安全性能自动验证的有效约束系统。我们基于我们的方法实现了一个原型,并将其应用于Fischer协议的参数化版本的验证。
整个系列请参见[Zbl 0967.00078].

理学硕士:
6885年 并行和分布式计算的模型和方法(过程代数、互模拟、转移网等)
软件:
乌帕阿尔
PDF格式 BibTeX公司 XML 引用
全文: 链接