×
埃尔南·梅尔格拉蒂;克劳迪奥·安塔雷斯·梅齐纳;伊雷克·乌利多夫斯基

反向放置过渡网。 （英语） Zbl 07269252号

日志。方法计算。科学。 16，第4号，第5号论文，28页（2020年）.
摘要：Petri网是一种著名的并发模型，为研究并发系统的基本方面提供了理想的环境。尽管它们很简单，但仍然缺乏令人满意的因果可逆语义。我们基于两个观察结果为位置/转换Petri网（P/T网）开发了这种语义。首先，明确表示事件之间因果关系和冲突的网络，例如事件网络，可以通过为其每个正向转换添加反向转换直接反转。其次，给定P/T网，标准展开结构将其与保留其所有计算的发生网相关联。因此，P/T网的可逆语义可以作为其展开的可逆语义来获得。我们证明了这种可逆行为可以表示为一个有限网络，其标记由因果历史着色。我们编码中的颜色类似于可逆过程结石中典型的因果记忆。

引用于13文件

理学硕士：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

Petri网;因果一致可逆性

软件：

CauDEr公司
PDF格式BibTeX公司 XML格式引用
\textit{H.Melgratti}等人，日志。方法计算。科学。16，第4号，第5号论文，28页（2020；Zbl 07269252）
全文： arXiv公司 链接

参考文献：

[1] 卡米拉·巴里尔斯卡（Kamila Barylska）、马西耶·库特尼（Maciej Koutny）、卢卡斯·米库尔斯基（Lukasz Mikulski）和马金·皮亚特科夫斯基（Marcin Piáatkowski）。Petri网中的可逆计算与可逆性。科学。计算。程序。，151:48-60, 2018. ·Zbl 1476.68164号
[2] Ioana Cristescu、Jean Krivine和Daniele Varacca。可逆p演算的组合语义。在第28届ACM/IEEE计算机科学逻辑研讨会上，LICS，第388-397页。IEEE计算机学会，2013年·Zbl 1366.68201号
[3] Ioana Cristescu、Jean Krivine和Daniele Varacca。CCS和π演算的刚性族。马丁·卢克（Martin Leucker）、卡米洛·鲁埃达（Camilo Rueda）和弗兰克·D·瓦伦西亚（Frank D.Valencia），《计算的理论方面》（Theory Aspects of Computing）编辑·Zbl 1471.68161号
[4] 卢卡·卡德利和科西莫·拉内夫。可逆结构。Franöcois Fages主编，《系统生物学中的计算方法》，第九届国际会议，CMSB 2011，第131-140页。ACM，
[5] E.Cardoza、Richard J.Lipton和Albert R.Meyer。Petri网和交换半群的指数空间完备问题（初步报告）。第八届年度会议记录·兹伯利0374.20067
[6] 文森特·达诺斯和让·克里文。可逆通信系统。菲利普·加德纳（Philippa Gardner）和吉田信子（Nobuko Yoshida）主编，CONCUR 2004-并发理论，第15届国际会议，计算机科学讲稿第3170卷，第292-307页。斯普林格，2004年·Zbl 1099.68066号
[7] 文森特·达诺斯和让·克里文。RCCS中的交易。《计算机科学讲义》2005年CONCUR第3653卷第398-412页编辑马特·恩·阿巴迪和卢卡·德·阿尔法罗。斯普林格，2005年·Zbl 1134.68432号
[8] Elena Giachino、Ivan Lanese和Claudio Antares Mezzina。因果一致的可逆调试。Stefania Gnesi和Arend Rensink主编，《软件工程的基本方法——第17届国际会议》，FASE 2014，第8411卷·Zbl 1362.68213号
[9] 伊娃·格雷弗森、伊恩·菲利普斯和吉田信子。（受控）可逆CCS的事件结构语义。Jarkko Kari和Irek Ulidowski，《可逆计算——第十届国际会议》编辑，《计算机科学讲义》第11106卷，第102-122页。施普林格，2018年·Zbl 1515.68205号
[10] 詹姆斯·霍伊（James Hoey）和伊雷克·乌利多夫斯基（Irek Ulidowski）。可逆命令式并行程序和调试。迈克尔·柯克达尔·汤姆森（Michael Kirkedal Thomsen）和马蒂亚斯·苏肯（Mathias Soeken），《可逆计算-第11届国际米兰》编辑·Zbl 1527.68035号
[11] 詹姆斯·霍伊（James Hoey）、伊雷克·乌利多夫斯基（Irek Ulidowski）和袁绍基（Shoji Yuen）。用块和过程反转并行程序。Jorge A.P´erez和Simone Tini，编辑，Proceedings Combined 25th International·Zbl 1527.68035号
[12] 乔纳森·海曼和格林·温斯克。一般Petri网的展开。IARCS软件基础年会编辑Ramesh Hariharan、Madhavan Mukund和V.Vinay·Zbl 1248.68354号
[13] 库尔特·延森（Kurt Jensen）、拉尔斯·迈克尔·克里斯滕森（Lars Michael Kristensen）和丽莎·威尔斯（Lisa Wells）。用于并发系统建模和验证的彩色Petri网和CPN工具。STTT，9（3-4）：213-2542007。
[14] Stefan Kuhn和Irek Ulidowski。局部可逆性的微积分。Simon J.Devitt和Ivan Lanese主编，《可逆计算-第八届国际会议》，RC 2016，计算机科学讲义第9720卷，第20-35页。斯普林格，2016年·Zbl 1476.68175号
[15] Stefan Kuhn和Irek Ulidowski。共价键演算中的局部可逆性。科学。计算。程序。，151:18-47, 2018.
[16] George B.Leeman，Jr.编程语言中撤销操作的正式方法。ACM事务处理。程序。语言系统。，8（1）：50-871986年1月·Zbl 0592.68015号
[17] 伊万·兰内斯（Ivan Lanese）、克劳迪奥·安塔雷斯·梅齐纳（Claudio Antares Mezzina）和珍妮·伯纳德·斯特凡尼（Jean-Bernard Stefani）。高阶π-演算中的可逆性。西奥。计算。科学。，625:25-84, 2016. ·Zbl 1338.68078号
[18] 伊万·兰内斯、克劳迪奥·安塔雷斯·梅齐纳、阿兰·施密特和珍妮·伯纳德·斯特凡尼。控制高阶pi中的可逆性。CONCUR编辑Joost-Pieter Katoen和Barbara K¨onig·Zbl 1344.68168号
[19] 伊万·兰内斯（Ivan Lanese）、克劳迪奥·安塔雷斯·梅齐纳（Claudio Antares Mezzina）和弗朗西斯科·蒂齐（Francesco Tiezzi）。因果一致可逆性。EATCS公报，1142014年·Zbl 1409.68117号
[20] 伊万·拉内斯（Ivan Lanese）、西田直树（Naoki Nishida）、帕拉西奥斯（Adri´an Palacios）和维达尔（German´an Vidal）。Cauder：Erlang的因果一致可逆调试器。功能编辑John P.Gallagher和Martin Sulzmann·Zbl 1507.68066号
[21] 伊万·拉内斯（Ivan Lanese）、伊恩·菲利普斯（Iain C.C.Phillips）和伊雷克·乌利多夫斯基（Irek Ulidowski）。可逆计算的公理方法。Jean Goubault-Larrecq和Barbara K¨onig，编辑，软件科学和计算结构基础第23届国际会议，FOSSACS 2020，计算机科学讲义第12077卷，第442-461页。斯普林格，2020年·兹比尔07250951
[22] 卢卡斯·米库尔斯基和伊万·拉内斯。反转无界Petri网。苏珊娜·多纳泰利（Susanna Donatelli）和斯特凡·哈尔（Stefan Haar）主编，《Petri网和并发的应用和理论》-第40届国际
[23] 多莉亚娜·梅迪奇、克劳迪奥·安塔雷斯·梅齐纳、伊恩·菲利普斯和吉田信子。可逆pi-calculi的参数化框架。Jorge A.P´erez和Simone Tini，编辑，会议记录·Zbl 1496.68241号
[24] 多莉亚娜·梅迪奇、克劳迪奥·安塔雷斯·梅齐纳、伊恩·菲利普斯和吉田信子。建立软件事务内存的正式帐户。Ivan Lanese和Mariusz Rawski，编辑，Reversible·Zbl 07368060号
[25] 赫尔南·梅尔格拉蒂（Hern´an C.Melgratti）、克劳迪奥·安塔雷斯·梅齐纳（Claudio Antares Mezzina）和伊雷克·乌利多夫斯基（Irek Ulidowski）。反转P/T网络。在Hanne Riis Nielson和Emilio Tuosto，编辑，协调模型和语言-第21届IFIP·Zbl 07269252号
[26] Mogens Nielsen、Gordon D.Plotkin和Glynn Winskel。Petri网，事件结构和域，第一部分Theor。计算。科学。，13:85-108, 1981. ·Zbl 0452.68067号
[27] G.米歇尔·平纳。膜系统计算中的反向步骤。Marian Gheorghe、Grzegorz Rozenberg、Arto Salomaa和Claudio Zandron，膜计算第18届国际会议编辑，CMC 2017，计算机科学讲义第10725卷，第245-261页。施普林格，2017年·Zbl 1497.68197号
[28] Anna Philippou和Kyriaki Psara。Petri网中的可逆计算。Jarkko Kari和Irek Ulidowski主编，《可逆计算——第十届国际会议》，RC 2018，计算机科学讲稿第11106卷，第84-101页。施普林格，2018年·Zbl 1515.68213号
[29] 安娜·菲利普（Anna Philippou）、基里亚基·帕萨拉（Kyriaki Psara）和哈伦·西尔贾克（Harun’s Siljak）。反向Petri网的可逆性控制及其在无线通信中的应用-工作-进展论文。迈克尔·柯克达尔·汤姆森（Michael Kirkedal Thomsen）和马蒂亚斯·索肯（Mathias Soeken），《可逆计算——第11届国际会议》（RC 2019）编辑，计算机科学讲稿第11497卷，第238-245页。斯普林格，2019年·Zbl 1527.68142号
[30] 伊恩·菲利普斯和伊雷克·乌利多夫斯基。可逆性和并发模型。《2007年结构化操作语义第四次研讨会论文集》，ENTCS第192卷，第93-108页·Zbl 1278.68220号
[31] 伊恩·菲利普斯和伊雷克·乌利多夫斯基。反转代数过程计算。J.日志。阿尔盖布。程序。，73(1-2):70-96, 2007. ·兹比尔1123.68065
[32] 伊恩·菲利普斯和伊雷克·乌利多夫斯基。事件结构中的可逆性和不对称冲突。J.日志。阿尔盖布。方法。程序。，84(6):781-805, 2015. ·Zbl 1330.68213号
[33] 伊恩·菲利普斯（Iain Phillips）、伊雷克·乌利多夫斯基（Irek Ulidowski）和袁绍基（Shoji Yuen）。可逆过程演算和ERK信号通路的建模。《可逆计算学报》，RC 2012，《计算机科学体系结构笔记》第7581卷，第218-232页。施普林格，2013年·Zbl 1451.68124号
[34] Markus Schordan、Tomas Oppelstrup、David R.Jefferson和Peter D.Barnes Jr.乐观并行离散事件模拟可逆C++代码的生成。新一代计算。，36(3):257-280, 2018. ·Zbl 1464.68049号
[35] Irek Ulidowski、Iain Phillips和Shoji Yuen。反转事件结构。新一代计算机。，36(3):281-306, 2018.
[36] 亚历克西斯·德沃斯（Alexis De Vos）、施蒂恩·德巴德马克（Stijn De Baerdemacker）和伊万·范·伦特杰姆（Yvan Van Rentergem）。量子电路的合成与经典可逆电路的合成。数字电路与系统综合讲座·兹比尔1405.81006
[37] Martin Vassor和Jean-Bernard Stefani。检查点/回滚与因果一致可逆性。第十届国际会议可逆计算编辑Jarkko Kari和Irek Ulidowski·Zbl 1515.68215号
[38] Glynn Winskel。事件结构。《InPetri网：中心模型及其性质，1986年Petri网的进展》，第二部分，高级课程论文集，德国巴德洪内夫，8-19
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。