当文雄（Dang Van Hung）;科努特（Elöd Knuth） 半交换和Petri网。 （英语） 兹比尔0679.68049 西奥。计算。科学。 64，第1号，67-81（1989）. 摘要：半交换是部分交换的推广。所谓的轨迹是由部分交换生成的。这一类在本文中被推广用于称为拟迹的半交换。在后继部分中，介绍了拟迹的研究及其在Petri网点火序列分析中的应用。 引用于6文件 MSC公司： 68问题65 抽象数据类型；代数规范 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：半交换;部分换向;准径迹;点火顺序;Petri网 PDF格式BibTeX公司 XML格式引用 \textit{Dang Van Hung}和\textit{E.Knuth}，Theor。计算。科学。64，第1号，67--81（1989；Zbl 0679.68049） 全文： DOI程序 参考文献： [1] 艾尔伯斯伯格，IJ。J。；Rozenberg，G.，《痕迹理论》，Theoret。计算。科学。，60, 1-82 (1988) ·Zbl 0652.68017号 [2] 贝尔托尼，A。；Mauri，G。；Sabadini，N.，常规跟踪语言和一些组合应用的层次结构，Proc。第二届世界数学大会。《为人民服务》，146-153（1982），拉斯帕尔马斯·Zbl 0512.68056号 [3] Best，E.，《并发行为：序列、过程和公理》（Brookes，S.D.，《并发研讨会》，计算机科学讲稿，197（1985），Springer:Springer-Blin），221-245·Zbl 0565.68019号 [4] 网络理论与应用，（Bauer，W.，《计算机科学讲稿》，84（1980），Springer:Springer Berlin）·Zbl 0434.68040号 [5] 坎贝尔，R.H。；哈伯曼，A.H.，《通过路径表达式实现进程同步的规范》（计算机科学讲稿，16（1974），施普林格：施普林格柏林），89-102·Zbl 0295.68028号 [6] Clerbout，M。；Latteux，M.，《半交换信息》。和计算。，73, 59-74 (1987) ·Zbl 0629.68078号 [7] Duboc，C.，《混合产品和异步自动机》，Theoret。计算。科学。，48, 183-199 (1986) ·Zbl 0638.68095号 [8] Knuth，E.，Petri网和常规跟踪语言，Proc。第一届欧洲会议，并行和分布式处理，51-56（1979），巴黎 [9] Mazurkiewicz，A.，并行程序方案及其解释，（DAIMI报告PB-78（1977），奥胡斯大学） [10] Starker，P.H.，《Petri网中的过程》，Information sverarbeitung und Kybernet，EIK 17，389-416（1981）·Zbl 0504.68035号 [11] Szijjártó，M.，语言在二元关系上的闭包，Proc。IMYCS’82，39-43（1982），《Smolence》 [12] Zielonka，W.，《有限异步自动机注释》，Theoret。Informat公司。和申请。，21, 99-135 (1987) ·Zbl 0623.68055号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。