哈维尔·埃斯帕尔扎;斯特凡·Römer;沃尔特·福格勒 麦克米兰展开算法的改进。 （英语） Zbl 1017.68085号 形式方法系统。设计。 20，第3期，285-310（2002）. 摘要：McMillan最近提出了一种新技术，以避免在验证用有限状态Petri网建模的系统时出现状态爆炸问题。该技术需要构造网络展开的有限初始部分。麦克米兰（McMillan）针对这项任务的算法可能会产生大于所需的初始部分（在最坏的情况下是指数级的）。我们对算法进行了改进，克服了这个问题。 引用于1审查引用于43文件 理学硕士： 68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等） 关键词：有限状态Petri网;麦克米兰算法 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}等人，《形式方法系统》。设计。20，第3号，285--310（2002；Zbl 1017.68085） 全文： 内政部