×
卡米拉·巴里尔斯卡;安娜·果戈林斯卡;乌卡斯·米库尔斯基;安娜·菲利普;马钦·皮亚特科夫斯基;基里亚基·帕萨拉

从反向Petri网到有色Petri网的形式化翻译。 （英语） Zbl 07615949号

Mezzina、Claudio Antares（编辑）等，《可逆计算》。第14届国际会议，RC 2022，意大利乌尔比诺，2022年7月5-6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13354, 172-186 (2022).
摘要：反向Petri网（RPN）最近提出了一种受Petri网启发的形式主义，支持因果和非因果可逆性的建模。在以前的工作中，我们提出了一种将特定的RPN子类转换为有界有色Petri网（CPN）的结构化方法。在本文中，我们通过移除标记唯一性的限制来扩展这些结果。提议的从RPN到CPN的转换已在一个工具中实现，该工具允许构建RPN并将其转换为等效的CPN。
关于整个系列，请参见[Zbl 1498.68014号].

引用于三文件

MSC公司：

2009年第68季度 其他非经典计算模型
2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）
81页68 量子计算
PDF格式BibTeX公司 XML格式引用
\textit{K.Barylska}等人，Lect。注释计算。科学。13354、172--186（2022；Zbl 07615949）
全文： 内政部

参考文献：

[1] CPN-Tools项目网站。http://cpntools.org/
[2] RPN编辑器：反转Petri网编辑器。https://www.mat.umk.pl网站/folco/rpne编辑器
[3] Barylska，K.，Gogoli nn ska，A.，Mikulski，Ł。，Philippou，A.，Piątkowski，M.，Psara，K.：用有色Petri网建模的反向计算。收录于：2018年ATAED会议记录，CEUR 2115，pp.91-111（2018）
[4] Barylska，K.，Mikulski，Ł。，Piątkowski，M.、Koutny，M.和Erofeev，E.：有界Petri网中的反转跃迁。摘自：《CS&P’16会议录》，CEUR 1698，第74-85页（2016年）。CEUR-WS.org公司·Zbl 1390.68457号
[5] Barylska，K.，Koutny，M.，Mikulski，Ł。，Piątkowski，M.：Petri网中的可逆计算与可逆性。科学。计算。程序。151，48-60（2018）·Zbl 1476.68164号
[6] de Frutos-Escrig，D。；库特尼，M。；米库尔斯基。，研究Petri网中步骤的可逆性，Fundam。Informaticae，183，1-2，67-96（2021）·Zbl 1522.68359号
[7] Jensen，K.：有色Petri网——基本概念、分析方法和实际应用——第1卷，第2版。理论计算机科学专著。EATCS系列。斯普林格，海德堡（1996）。doi:10.1007/978-3-662-03241-1·Zbl 0842.68049号
[8] 库恩，S。；阿曼，B。；乔巴努，G。；菲利普·A。；Psara，K。；乌利多夫斯基，I。；乌利多夫斯基，I。；拉内斯，我。；舒尔茨，UP；费雷拉，C.，《化学反应中的可逆性，可逆计算：扩展计算视野》，151-176（2020），查姆：施普林格，查姆·doi:10.1007/978-3-030-47361-77
[9] 梅尔格拉蒂，H。；加利福尼亚州梅齐纳；菲利普斯一世。；总经理Pinna；乌利多夫斯基，I。；拉内斯，我。；Rawski，M.，可逆发生网和因果可逆素数事件结构，可逆计算，35-53（2020），查姆：施普林格，查姆·Zbl 07368046号 ·doi:10.1007/978-3-030-52482-12
[10] Melgratti，H.C.，Mezzina，C.A.，Ulidowski，I.：反转位置转换网。日志。方法计算。科学。16(4) (2020) ·兹比尔07269252
[11] 米库尔斯基。；拉内斯，我。；多纳泰利，S。；Haar，S.，《逆转无界petri网，petri网的应用和理论与并发性》，213-233（2019），查姆：斯普林格，查姆·Zbl 07796223号 ·doi:10.1007/978-3-030-21571-2-13
[12] Murata，T.，《Petri网：属性、分析和应用》，Proc。IEEE，77，4，541-580（1989）·数字对象标识代码：10.1109/5.24143
[13] 菲利普·A。；Psara，K.，带键网络中的可逆计算，J.Log。代数方法程序。，124, 100718, 1-47 (2022) ·Zbl 1505.68028号
[14] 菲利普·A。；Psara，K。；Siljak，H。；MK汤姆森；Soeken，M.，《反向petri网的可逆性控制及其在无线通信中的应用》，可逆计算，238-245（2019），查姆：斯普林格，查姆·Zbl 1527.68142号 ·doi:10.1007/978-3-030-21500-2_15
[15] Psara，K.：Petri网中的可逆计算。塞浦路斯大学计算机科学系博士论文（2020年）·Zbl 1515.68213号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。