弗雷德里克·赫布雷托;格雷戈伊尔·萨特雷;Tran、The Quang 展开并行的结构良好的过渡系统。 （英语） Zbl 1186.68321号 Grumberg，Orna（编辑）等人，《系统构建和分析的工具和算法》。2007年3月24日至4月1日在葡萄牙布拉加举行的第13届国际会议TACAS 2007，是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71208-4/pbk）。计算机科学课堂讲稿4424706-720（2007）。 摘要：我们的主要目标是将偏序方法与无限状态系统的验证技术相结合，以获得并发无限状态系统有效的验证算法。部分阶方法通常用于分析由许多并行部件组成的有限系统。在本文中，我们将这些方法扩展到无限状态系统的并行组合。我们认为，通过事件结构对每个组件建模是有利的，因为这允许我们展示一些无限状态系统中隐式存在的并发性，例如带有队列或计数器的自动机。我们将完备前缀的概念从1-安全Petri网推广到所有结构良好的转移系统。我们给出了一个动态展开算法，该算法给出了表示组件的事件结构，生成了表示其同步产品的事件结构。原型实现展示了我们的方法的优点。有关整个系列，请参见[Zbl 1116.68006号]. MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 60年第68季度 规范和验证（程序逻辑、模型检查等） PDF格式BibTeX公司 XML格式引用 \textit｛F.Herbreteau｝等人，Lect。注释计算。科学。4424706--720（2007年；Zbl 1186.68321） 全文： 内政部