格林·温斯克尔 Petri网、代数、形态和合成。 （英语） Zbl 0622.68052号 Inf.计算。 72, 197-238 (1987). 证明了一类Petri网是如何被视为多集上两个排序代数的子范畴的。这将Petri网投射到一个熟悉的框架中，并提供了不同于传统定义的网络上的态射的有用概念——这里的态射尊重网络的行为。由此产生的范畴结构提供了一种有用的方法来综合网络，并根据网络的组成对其进行推理；例如，各种形式的并行组成的Petri网自然产生于该类别中的产品。这种抽象设置使得从Petri网的范畴到不变量空间的范畴成为一个有用的函子，并提供了对Petri网基本定义的泛化的洞察——例如，Kurt-Jensen的有色和更高层次的网是通过对网下的代数种类的简单修改而产生的。此外，它还提供了与其他并发模型的平滑形式关系，例如Milner的通信系统演算（CCS）和Hoare的通信顺序过程（CSP），尽管这只是在本文中指出的。 引用于31文件 理学硕士： 68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等） 18B99型 特殊类别 68N25号 操作系统理论 关键词：Petri网的范畴;多集上的两个排序代数;行为;平行合成;并发模型;通信系统演算;通信顺序过程 PDF格式BibTeX公司 XML格式引用 \textit{G.Winskel}，信息计算。72、197--238（1987年；Zbl 0622.68052） 全文： 内政部 参考文献： [1] Aczel，P.，《归纳定义导论》，（Barwise，J.，《数学逻辑手册》（1983年），北荷兰：北荷兰阿姆斯特丹） [2] Arbib，医学硕士。；Manes，E.G.，《箭头、结构和函数》，《绝对命令》（1975年），学术出版社·Zbl 0374.18001号 [3] Arbib，医学硕士。；Manes，E.G.，编程语言的形式语义，初版（1982） [4] （Brauer，W.，《网络理论与应用》，《网络理论与应用》，《计算机科学讲义》，第84卷（1980年），施普林格出版社：施普林格出版社，柏林/纽约）·Zbl 0434.68040号 [5] 布多尔，G。；Rucairol，G。；de Simone，R.，《Petri网和过程的代数计算》，（Petri网的进展，Petri网进展，计算科学Lect.注释，第188卷（1985），Springer-Verlag:Springer-Verlag纽约/柏林）·Zbl 0606.68056号 [6] 坎贝尔，R.H。；Habermann，A.N.，《通过路径表达式实现进程同步的规范》（《计算科学》第16卷（1974年）讲稿，Springer-Verlag:Springer-Verlag纽约/柏林）·Zbl 0295.68028号 [7] Györy，G。；Knuth，E。；Romai，L.（《语法预测》（1979），匈牙利科学院），《计算》工作文件。和自动化研究所 [8] 美国高尔茨。；Reisig，W.，《位置转换网络的过程》（Int.Colloq.Automata Lang.and Program.83（1983），Inform。控制），印刷中·Zbl 0523.68046号 [9] 美国高尔茨。；Mycroft，A.，《论CCS和Petri网的关系》，（Int.Colloq.Automata Lang.and Program出版社，84。国际合作自动化语言和程序。84，计算机课堂讲稿。科学。，第172卷（1984年），《施普林格·弗拉格：施普林格尔·弗拉格纽约/柏林》·Zbl 0562.68049号 [10] Hoare，C.A.R.，《通信顺序过程》，通信ACM，21（1978）·Zbl 0383.68028号 [11] 霍尔，C.A.R。；布鲁克斯，S.D。；Roscoe，A.W.，J.协会计算。机器。(1984) [12] Jensen，K.，（彩色Petri网和不变量方法（1979），奥胡斯大学：丹麦奥胡斯大学），DAMI PB-104，计算报告。科学。部。 [13] Jensen，K.（Hig Level Petri Nets（1982），奥胡斯大学：丹麦奥胡斯学院），DAIMI PB-151，计算报告。科学。部。 [14] 劳尔，体育。；Campbell，R.H.，用于协调并发进程的一类高级原语的形式语义，Acta Inform。，5, 297-332 (1974) ·Zbl 0312.68012号 [15] Maclane，S.（工作数学家分类（1971），Springer:Springer New York），数学研究生课本·Zbl 0232.18001号 [16] Mazurkiwicz，A.（并发程序方案及其解释（1977），计算机科学。奥胡斯大学计算机科学系。丹麦奥胡斯大学系），报告PB-78 [17] Main，M.G。；Benson，D.B.，《非确定性程序的功能行为》（Proceedings，FCT Found.Comput.Theory 83）。FCT发现诉讼程序。计算。理论83，计算机课堂讲稿。科学。，第158卷（1983年），施普林格-弗拉格）·Zbl 0517.68028号 [18] Milner，R.，《通信系统的微积分》，（《计算科学》第92卷（1980年）讲稿，Springer-Verlag:Springer-Verlag纽约/柏林）·Zbl 0452.68027号 [19] Milner，R.，《同步与异步演算》，Theoret。计算。科学。，25, 267-310 (1983) ·Zbl 0512.68026号 [20] Nielsen，M.和Winskel，G.（准备中），关于Petri网不变量的合成推理。；Nielsen，M.和Winskel，G.（准备中），关于Petri网不变量的合成推理·Zbl 0872.68129号 [21] 尼尔森，M。；Plotkin，G。；Winskel，G.，Petri网，事件结构和域，（Proceedings，Conf.on the Semantics of Concurrent Computing，Proceedings.关于并发计算的语义的会议录。Conf.关于并发计算语义的会议记录。Conf.on the Seminatics of Concurlent Computing.，Evian，France，Compute.Sci.，Vol.70（1979），Springer-Verlag：柏林/纽约Springer-Verlag）·Zbl 0418.68056号 [22] 尼尔森，M。；Plotkin，G。；Winskel，G.，Petri网，事件结构和域，Theoret。计算。科学。，13（1981），第1部分·兹比尔0452.68067 [23] Peterson，J.L.，（Petri网理论和系统建模（1981），Prentice-Hall：Prentice-Hall Englewood Cliffs，N.J）·Zbl 0461.68059号 [24] Reisig，W.，（Petri网，EATCS理论计算科学专著，第4卷（1984年），施普林格：施普林格纽约/柏林） [25] Reisig，W.，谓词/转换网络作为抽象数据类型，未发表的注释（1984），美国国务院。科学。，亚琛大学：计算机系。科学。，德国亚琛大学 [26] 温斯克尔，G.，《计算中的事件》（爱丁堡大学博士论文（1980）） [27] Winskel，G.，《CCS和相关语言的事件结构语义》，（《计算科学》第140卷（1982年）讲稿，Springer-Verlag:Springer-Verlag纽约/柏林），报告，《计算机科学》。丹麦奥胡斯大学系·Zbl 0518.68045号 [28] Winskel，G.，同步树，定理。计算。科学。（1985），5月·Zbl 0584.68085号 [29] Winskel，G.，Petri网上态射的新定义，（《计算科学》第166卷（1984）讲义，Springer-Verlag:Springer-Verlag纽约/柏林）·Zbl 0559.68058号 [30] Winskel，G.，并发模型的类别， （论文集，并发语义研讨会。论文集，并行语义研讨会，卡内基梅隆大学，匹兹堡，7月。论文集：并发语义研讨会，论文集：并行语义研讨会其他。197（1984），Springer-Verlag:Springer-Verlag纽约/柏林），报告，剑桥大学计算机实验室·Zbl 0567.68017号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。