Kristensen，Lars M。 有色Petri网的显式状态空间探索透视图：过去、现在和未来。 （英语） Zbl 1285.68107号 Lilius，Johan（编辑）等人，《Petri网的应用和理论》。2010年6月21日至25日，第31届国际会议，PETRI NETS 2010，葡萄牙布拉加。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-13674-0/pbk）。计算机科学课堂讲稿6128，39-42（2010）。 摘要：我们提供了一个按时间顺序排列的研究视角，用于有色Petri网的状态空间探索和模型检查的方法和支持计算机工具的开发和应用。我们讨论了从实际应用中吸取的经验教训如何影响当前和设想的未来研究方向，重点是正在进行的ASAP国家空间探索平台的开发。关于整个系列，请参见[Zbl 1189.68013号]. MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 60年第68季度 规范和验证（程序逻辑、模型检查等） 软件：访问/CPN;设计/CPN;尽快;CPN/工具 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Kristensen}，莱克特。注释计算。科学。6128，39-42（2010；Zbl 1285.68107） 全文： 内政部