南卡罗来纳州伊万杰利斯塔。;哈达德，S。;Pradat-Peyre，J.-F。 语法着色Petri网约简。 （英语） Zbl 1170.68538号 Peled，Doron A.（编辑）等人，《验证和分析自动化技术》。2005年10月4日至7日，第三届国际研讨会，ATVA 2005，台湾台北。诉讼程序。柏林：施普林格出版社（ISBN 3-540-29209-8/pbk）。计算机科学讲座笔记3707202-216（2005）。 摘要：在本文中，我们为高级Petri网开发了一个详细约简的语法版本。这些简化通过将一些顺序转换合并为原子转换来简化模型。它们的条件结合了局部结构条件（例如与线程的操作相关）和全局代数条件（例如，与线程同步相关）。我们证明了当给出颜色映射的语法时，这些条件是以语法的方式执行的。在最近的一个案例研究中，我们还展示了我们的方法在缩减率和应用自动化方面如何优于以前的方法。有关整个系列，请参见[Zbl 1089.68013号]. 引用于4文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 软件：类星体 PDF格式BibTeX公司 XML格式引用 \textit{S.Evangelista}等人，莱克特。注释计算。科学。3707202--216（2005年；Zbl 1170.68538） 全文： 内政部