图维·埃齐翁；迈克尔·尤利 超网及其层次结构。 （英语） Zbl 0512.68038号 西奥。计算。科学。 23, 243-272 (1983). 摘要：在本文中，我们引入了超网的概念，它包含了文献中较早提出的Petri网的各种扩展。我们考虑与非标记和标记Super-Net相关的语言，并使用这些语言在各种类型的网络之间建立层次结构。在最后一节中，我们应用这个层次结构来说明Petri网语言在Kleene星下不是封闭的。 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3个 +4 +5 显示扫描页面 引用于1审查引用于2文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 65年第68季度 形式语言和自动机 关键词：Petri网的扩展；Petri网语言；闭包属性 PDF格式BibTeX公司 XML格式引用 \textit{T.Etzion}和\textit{M.Yoeli}，Theor。计算。科学。23、243--272（1983年；Zbl 0512.68038） 全文： DOI程序 参考文献： [1] 阿格瓦拉，T。；Flynn，M.，《关于Petri网的能力、局限性和“正确性”的评论》，（第1届计算机体系结构年度研讨会论文集（1973年），ACM:ACM纽约），81-86 [2] （Brauer，W.，《网络理论与应用》，《网络原理与应用》（Net Theory and Applications），计算机科学讲义，84（1980），施普林格出版社：施普林格-柏林）·Zbl 0434.68040号 [3] Courvoisier，M。；瓦莱特，R.，《温度卷指挥系统》（1980），SCM版：巴黎SCM版 [4] 涤纶，E。；布兰查德，M.，Synthèse des Systèmes Logiques（1979），《Cepadues》 [5] Hack，M.，Petri网语言（技术报告159（1976），计算机科学实验室，M.I.T） [6] Jantzen，M.，《关于Petri网语言的层次结构》，R.A.I.R.O.Theoret。Informatique，13，19-30（1979）·Zbl 0404.68076号 [7] M.Jantzen和R.Valk，位置/过渡网的形式性质，见：[2]165-212。；M.Jantzen和R.Valk，位置/转移网的形式属性，in：[2]165-212。 [8] König，D.，Theorye der endlichen und unendlichen-Graphen（1950），莱比锡：切尔西，再版·Zbl 0040.10303号 [9] Kosaraju，S.，Dijkstra的信号量原语和Petri网的局限性，操作系统版本，7122-126（1973） [10] Peterson，J.L.，《Petri网理论和系统建模》（1981），新泽西州普伦蒂斯·霍尔·Zbl 0461.68059号 [11] 波拉特，S。；Yoeli，M.，《走向网络层次结构》（Technion计算机科学系：Technion Haifa计算机科学系，技术报告224（1981））·Zbl 0565.68057号 [12] Starke，P.，《自由Petri网语言》（1978年第7届计算机科学数学基础研讨会论文集）。程序。1978年第七届计算机科学数学基础研讨会，计算机科学讲义，64（1978），施普林格：施普林格柏林），506-515·Zbl 0391.68038号 [13] Wendt，S.、Petri-Netze und asynchrome Schaltwerke、Elektron。Rechenanlagen，16，208-216（1974）·Zbl 0288.94016号 [14] Yoeli，M.，Petri网和异步控制网络（研究报告CS-73-07（1973），滑铁卢大学计算机科学系）·Zbl 0128.25102号 [15] 约利，M。；Barzilai，Z.，《使用扩展Petri网的通信交换系统的行为描述》，数字过程，3307-320（1977）·Zbl 0401.68040号 [16] Yeoli，M。；Ginzburg，A.，《Petri网语言及其应用》（研究报告CS-78-45（1978），滑铁卢大学计算机科学系） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。