×
保罗·巴尔丹;罗伯托·布鲁尼;安德烈亚·科拉迪尼;法比奥·加杜奇;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里

具有持久性的Petri网的事件结构。 （英语） Zbl 1417.68113号

日志。方法计算。科学。 14，第3号，第25号论文，30页（2018年）.
事件结构是连接域理论和Petri网的并发理论中一个众所周知且使用广泛的工具。然而，众所周知，（安全的）Petri网只对应于一个子类事件结构，称为素数，它反过来匹配素数代数域。本文在定义Petri网泛化的方向上迈出了有趣的一步，该泛化与所有通用的事件结构相对应。
在Petri网中，只有一种方法可以实现一次转换，这个问题与缺乏表示信息持久性的结构有关。本文建议在Petri网中引入可重用标记，以便更接近一般事件结构（即事件可能具有析取原因的情况）。作者将这种丰富称为“p-网”（表示“具有持久性的Petri网”），并详细描述了它们有趣的结构。引入了两种中间结构——事件p-网和具有等价性的事件p-网络，并证明它们对应于事件结构的一个子类别，称为“局部连接事件结构”。
这项研究支持Petri网可以成功地适应持久性的观点，并在找到正确的Petri网扩展来描述一般事件结构方面向前迈出了一步。这篇文章很成熟，读起来很愉快，内容也很完备。分类结构是一种很好的、令人信服的风格，运行示例可以清楚地表示所涉对象。
审核人：克莱门特·奥伯特（奥古斯塔）

引用于2文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
18 C50 形式语言的范畴语义

关键词：

事件结构;分离原因;局部连通性;Petri网;持久性;并发;展开;共反射
PDF格式BibTeX公司 XML格式引用
\textit{P.Baldan}等人，《日志》。方法计算。科学。14，第3号，第25号论文，30页（2018；Zbl 1417.68113）
全文： 内政部 arXiv公司

参考文献：

[1] 萨姆森·阿布拉姆斯基。Petri网、离散物理和分布式量子计算。在Pierpaolo Degano、Rocco De Nicola和Jos´e Meseguer，编辑，《并发、图形和模型，献给乌戈·蒙塔纳里65岁生日的散文》，《计算机科学讲义》第5065卷，第527-543页。施普林格，2008年·Zbl 1143.68468号
[2] 安德烈亚·阿斯佩蒂（Andrea Asperti）和纳迪亚·布西（Nadia Busi）。移动Petri网。计算机科学中的数学结构，19（6）：1265-12782009·兹比尔1191.68427
[3] 保罗·巴尔丹（Paolo Baldan）、安德烈亚·科拉迪尼（Andrea Corradini）和法比奥·加杜奇（Fabio Gadducci）。融合的域和事件结构。在LICS 2017中，第1-12页。IEEE计算机学会，2017年。扩展版本可用作arXiv:1701.02394·Zbl 1458.68128号
[4] Paolo Baldan、Andrea Corradini和Ugo Montanari。上下文Petri网，非对称事件结构和过程。信息与计算，171（1）：1–492001·Zbl 1005.68103号
[5] 菲利波·邦奇（Filippo Bonchi）、安东尼奥·布罗吉（Antonio Brogi）、萨拉·科尔菲尼（Sara Corfini）和法比奥·加杜奇（Fabio Gadducci）。基于网络的web服务发布和可替换性方法。《基础信息》，94（3-4）：305–330，2009年·Zbl 1183.68069号
[6] 罗伯特·布鲁尼（Roberto Bruni）、赫尔南·梅尔格拉蒂（Hern´an C.Melgratti）和乌戈·蒙塔纳里（Ugo Montanari）。并发性和概率：从构图上消除混淆。LICS 2018，第195-204页。ACM，2018年·Zbl 1497.68329号
[7] 瑟伦·克里斯滕森和尼尔斯·达姆加德·汉森。彩色Petri网扩展了位置容量、测试弧和约束弧。1993年ICATPN编辑Marco Ajmone Marsan，《计算机科学讲义》第691卷，第186-205页。施普林格，1993年。
[8] 费德里科·克拉佐拉拉（Federico Crazzolara）和格林·温斯克尔（Glynn Winskel）。安全协议中的事件。Michael K.Reiter和Pierangela Samarati，CCS 2001编辑，第96-105页。ACM，2001年。
[9] 费德里科·克拉佐拉拉（Federico Crazzolara）和格林·温斯克尔（Glynn Winskel）。具有持久性的Petri网。在Nadia Busi、Roberto Gorrieri和Fabio Martinelli，WISP 2004编辑，《理论计算机科学电子笔记》第121卷，第143-155页。Elsevier，2005年·Zbl 1272.68297号
[10] 马克·德维斯梅（Marc de Visme）和格林·温斯克尔（Glynn Winskel）。具有平行原因的策略。在Valentin Goranko和Mads Dam，编辑，CSL 2017，LIPIcs第82卷，第41:1–41:21页。达格斯图尔宫（Schloss Dagstuhl）-莱布尼茨-泽特鲁姆宫（Leibniz Zentrum f¨ur）·Zbl 1440.68175号
[11] Joanne Bechta Dugan、Kishor S.Trivedi、Robert Geist和Victor F.Nicola。扩展随机Petri网：应用与分析。埃罗尔·盖伦贝（Erol Gelenbe），编辑，《1984年表演》，第507-519页。北荷兰，1985年。
[12] 伊凡·埃姆齐瓦特（Yrvann Emzivat）、贝诺·特·德拉哈耶（Benoˆt Delahaye）、迪迪埃·莱姆（Didier Lime）和奥利维埃·鲁克斯（Olivier H.Roux）。概率时间Petri网。在Fabrice Kordon和Daniel Moldt，编辑，ICATPN 2016，《计算机科学讲义》第9698卷，第261–280页。斯普林格，2016年·Zbl 1346.68131号
[13] 克劳德·吉罗（Claude Girault）和罗迪格·瓦尔克（R¨udiger Valk）。系统工程的Petri网-建模、验证和应用指南。斯普林格，2003年·Zbl 1024.68072号
[14] Roberto Gorrieri。Petri网的过程代数-分布式系统的字母化。施普林格，2017年·Zbl 1377.68002号
[15] 库尔特·延森。彩色Petri网。Wilfried Brauer、Wolfgang Reisig和Grzegorz Rozenberg主编，《Petri网：中心模型及其属性，1986年Petri网进展》，第一部分，《计算机科学讲义》第254卷，第248-299页。施普林格，1987年·Zbl 0619.00023号
[16] 库尔特·延森和拉尔斯·迈克尔·克里斯滕森。彩色Petri网：并发系统的建模和验证。施普林格，2009年·Zbl 1215.68153号
[17] 伊娜·科赫。系统生物学中的Petri网。软件和系统建模，14（2）：703–7102015。
[18] Ina Koch、Wolfgang Reisig和Falk Schreiber。生物科学中的Petri网。信息技术，56（2）：43-452014。
[19] 劳伦斯·兰德韦伯（Lawrence H.Landweber）和爱德华·罗伯逊（Edward L.Robertson）。无冲突和持久Petri网的性质。美国医学会杂志，25（3）：352-3641978·Zbl 0384.68062号
[20] 马可·阿杰蒙·马桑（Marco Ajmone Marsan）、吉安尼·孔蒂（Gianni Conte）和吉安弗兰科·巴尔博（Gianfranco Balbo）。用于多处理器系统性能评估的一类广义随机Petri网。美国计算机学会计算机系统汇刊，2（2）：93–1221984。
[21] 菲利普·梅林（Philip M.Merlin）。计算系统可恢复性的研究。加州大学欧文分校博士论文，1974年。
[22] 乔斯·梅塞盖尔（Josée Meseguer）、乌戈·蒙塔纳里（Ugo Montanari）和弗拉迪米罗·萨松（Vladimiro Sassone）。关于Petri网的语义。在Rance Cleaveland，编辑，CONCUR 1992，《计算机科学讲义》第630卷，第286–301页。施普林格，1992年·Zbl 0876.68072号
[23] 乔斯·梅塞盖尔（Josée Meseguer）、乌戈·蒙塔纳里（Ugo Montanari）和弗拉迪米罗·萨松（Vladimiro Sassone）。关于位置/转换Petri网的语义。计算机科学中的数学结构，7（4）：359–3971997·Zbl 0876.68072号
[24] 迈克尔·莫洛伊（Michael K.Molloy）。离散时间随机Petri网。IEEE软件工程学报，11（4）：417–4231985年4月·Zbl 0558.68053号
[25] 乌戈·蒙塔纳里和弗朗西丝卡·罗西。上下文网络。《信息学报》，32（6）：545–5961995年·Zbl 0835.68084号
[26] 村田忠道。Petri网：属性、分析和应用。IEEE会议录，77（4）：541-5801989。
[27] 卡尔·亚当·佩特里（Carl Adam Petri），《自动化通讯》（Kommunikation mit Automaten）。汉堡大学博士论文，1962年。
[28] 钱德·拉姆昌达尼（Chander Ramchandani）。基于时间Petri网的异步并发系统分析。马萨诸塞州剑桥市麻省理工学院博士论文，1973年·Zbl 0362.68090号
[29] 沃尔夫冈·雷西格（Wolfgang Reisig）。理解Petri网-建模技术，分析方法，案例研究。施普林格，2013年·Zbl 1278.68222号
[30] R¨udiger Valk公司。作为标记对象的Petri网：介绍基本对象网。在J¨org Desel和Manuel Silva Su´arez，编辑，ICATPN 1998，计算机科学讲义第1420卷，第1-25页。斯普林格，1998年。
[31] Wil M.P.van der Aalst和Christian Stahl。业务流程建模——一种面向Petri网的方法。麻省理工学院出版社，2011年·兹比尔1216.00032
[32] 沃尔特·福格勒（Walter Vogler）、阿列克谢·塞梅诺夫（Alexei L.Semenov）和亚历山德雷·雅科夫列夫（Alexandre Yakovlev）。具有读取弧的网络的展开和有限前缀。Davide Sangiorgi和Robert de Simone主编，CONCUR 1998，《计算机科学讲义》第1466卷，第501-516页。斯普林格，1998年·Zbl 0940.68096号
[33] Glynn Winskel。事件结构。Wilfried Brauer、Wolfgang Reisig和Grzegorz Rozenberg主编，《Petri网：中心模型及其属性，1986年Petri网进展》，第二部分，《计算机科学讲义》第255卷，第325-392页。施普林格，1987年·Zbl 0626.68022号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。