朱莉娅·帕德伯格;哈特穆特·埃里格;莱拉·里贝罗 代数高级网变换系统。 （英语） Zbl 0839.68068号 数学。结构。计算。科学。 5，第2期，217-256（1995）. 摘要：代数高级网转换系统的概念结合了文献中最近引入的两个重要研究方向：代数高级网络（简称AHL-nets）和高级替换系统（简称HLR-systems）。在这两种情况下，相应理论的分类表述非常重要，也是本文整合这些概念的良好基础。AHL网将Petri网与代数规范相结合，为分布式系统（包括数据类型和进程）提供了一种强大的规范技术。HLR系统是高级结构的转换系统，如图、超图、代数规范和不同类型的Petri网。HLR系统理论已经在范畴框架中形成，本文将其应用于AHL网络。因此，我们获得了AHL网络转换系统，作为HLR系统到AHL网络的实例化。这使我们能够从基本组件构建AHL网络，并使用图语法意义上的规则或生成来转换网络结构。这一概念通过扩展著名的“用餐哲学家”的例子来说明。我们能够证明AHL变换系统满足几个重要的兼容性属性。一方面，我们得到了一个局部Church-Rosser和Parallelism定理，该定理在图文法中很有名，最近被推广到HLR系统。这允许我们不仅在令牌级别上，而且在网络结构的转换级别上分析AHL网络中的并发性。另一方面，我们考虑了高层结构的“融合”和“联合”构造，其动机是受文献中高层Petri网的相应概念的启发，并且我们显示了这些构造与一般HLR系统的派生，特别是AHL网络转换的兼容性。这意味着在软件开发方面垂直和水平结构的兼容性。 引用于15文件 MSC公司： 第68季度85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68问题65 抽象数据类型；代数规范 关键词：代数高级网;高级替换系统;Petri网 PDF格式BibTeX公司 XML格式引用 \textit{J.Padberg}等人，数学。结构。计算。科学。5，第2号，217--256（1995；Zbl 0839.68068） 全文： 内政部