×

兹马思-数学第一资源

有色Petri网显式状态空间探索:过去、现在和未来。(英语) Zbl 1285.68107
Lilius,Johan(ed.)等人,Petri网的应用和理论。第31届国际会议,2010年6月21日至25日,葡萄牙布拉加,PETRI网。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-13674-0/pbk)。计算机科学课堂讲稿612839-42(2010)。
摘要:我们对有色Petri网的状态空间探索和模型检验的方法和支持的计算机工具的发展和应用提供了一个时间顺序的研究视角。我们讨论了从实际应用中吸取的经验教训如何影响当前和未来的研究方向,集中在ASAP国家空间探索平台的持续发展上。
整个系列请参见[Zbl 1189.68013].
理学硕士:
6885年 并行和分布式计算的模型和方法(过程代数、互模拟、转移网等)
68Q60型 规范和验证(程序逻辑、模型检查等)
PDF格式 BibTeX公司 XML 引用
全文: 内政部