凯瑟琳·霍夫曼;哈特穆特·埃里格;蒂尔·莫萨科夫斯基 以网络和规则作为标记的高级网络。 （英语） Zbl 1128.68063号 Ciardo，Gianfranco（编辑）等人，《Petri网的应用和理论》，2005年。第26届国际会议，2005年ICATPN，美国佛罗里达州迈阿密，2005年6月20日至25日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-26301-2/pbk）。计算机科学课堂讲稿3536268-288（2005）。 摘要：文献中已经研究了遵循“网络作为标记”范式的高层网络模型，并有几个有趣的应用。本文提出了新的范式“网和规则作为令牌”，其中除了网作为令牌外，还考虑了规则作为令牌。这些规则可用于更改网络结构。这导致了高级网络和规则系统的新概念，它允许将令牌游戏与基于规则的P/T系统转换相集成。新概念基于代数高级网和图转换系统的主要思想。我们通过案例研究“哲学家之家”引入了这一新概念，这是著名餐饮哲学家的动态延伸。在主要部分中，我们介绍了P/T系统基于规则的转换的基本理论，以及以网络和规则作为标记的高级网络，从而引出高级网络和规则系统的概念。关于整个系列，请参见[Zbl 1076.68004号]. 引用于9文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 2012年第68季度 语法和重写系统 68问题65 抽象数据类型；代数规范 关键词：高级网络模型;代数高级网;网络和规则作为标记;网络理论与图变换的集成;案例研究：哲学家之家;代数规范;图文法与Petri网变换 软件：设计/CPN;赫茨;CPN/工具 PDF格式BibTeX公司 XML格式引用 \textit{K.Hoffmann}等人，Lect。注释计算。科学。3536、268--288（2005年；Zbl 1128.68063） 全文： 内政部