×
马西莫·巴托莱蒂;皮耶保罗·德加诺;保罗·迪詹贝尔蒂诺;罗伯托·祖尼诺

Petri网和线性逻辑中的借方和贷方。 （英语） Zbl 1321.68356号

Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。计算机科学讲座笔记9200，135-159（2015）。
摘要：交换资源通常涉及参与者提供资源但没有立即获得预期回报的情况。例如，一个人可以不提前付款就购买一件物品，但却承担了最终必须偿还的债务。资源、贷项和借项可以隐式或显式地表示在几种形式化模型中，其中包括Petri网和线性逻辑。本文研究了这两种模型之间的关系，即混合直觉线性逻辑和Debit Petri网。特别地，我们在逻辑中的可证明性和在网络中标记可达性之间建立了一种自然的对应关系。
关于整个系列，请参见[Zbl 1319.68011号].

MSC公司：

第68季度85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
03B70号 计算机科学中的逻辑
03楼52 线性逻辑和其他子结构逻辑的理论证明
PDF格式BibTeX公司 XML格式引用
\文本{M.Bartoletti}等人，Lect。注释计算。科学。9200、135——159（2015年；Zbl 1321.68356）
全文： 内政部 链接

参考文献：

[1] 霍布斯，T.：《利维坦》，第十四章（1651）
[2] 维斯瓦纳坦，M。；维斯瓦纳坦，R。；Orejas，F。；斯皮拉基斯，PG；van Leeuwen，J.，《循环合成推理基础》，自动机，语言和编程，835-847（2001），海德堡：斯普林格·Zbl 0986.68059号 ·doi:10.1007/3-540-48224-568
[3] 迈尔，P。；Gordon，AD，《合成循环假设-保证规则不能健全和完整》，《软件科学和计算结构基础》，343-357（2003），海德堡：斯普林格·Zbl 1029.68110号 ·doi:10.1007/3-540-36576-1_22
[4] Bartoletti，M.，Zunino，R.：合同过程的微积分。摘自：LICS会议记录，第332-341页（2010年）。doi:doi:10.1109/LICS.2010.25
[5] 巴托莱蒂，M。；Cimoli，T。；总经理Pinna；Zunino，R.，事件结构中的循环因果关系，《信息基础》，134，3-4，219-259（2014）·兹比尔1334.68145
[6] Bartoletti，M.、Cimoli，T.、Giamberdino，P.D.、Zunino，R.：合同和逻辑中的恶性循环。科学。计算。程序。（出现）。doi:doi:10.1016/j.scico.2015.01.005·Zbl 1464.68226号
[7] Bartoletti，M.，Cimoli，T.，Pinna，G.M.，Zunino，R.：作为事件结构游戏的合同，JLAMP（即将出现）。doi:doi:10.1016/j.jlamp.2015.05.001·Zbl 1352.68174号
[8] 吉拉德，J-Y，线性逻辑，理论。计算。科学。，50, 1-102 (1987) ·Zbl 0625.03037号 ·doi:10.1016/0304-3975（87）90045-4
[9] Martí-Oliet，N.，Meseguer，J.：线性逻辑模型的代数公理化。收录于：《计算机科学中的拓扑和范畴理论》，第335-355页。牛津大学出版社（1991）·Zbl 0735.03013号
[10] Fleury，A。；Retoré，C.，混合规则，计算机科学中的数学结构，4，2，273-285（1994）·Zbl 0810.03004号 ·doi:10.1017/S09601295000000451
[11] 卡米德，N.，《通信量的线性逻辑》，J.逻辑计算。，15, 1, 3-20 (2005) ·Zbl 1069.03018号 ·doi:10.1093/log.com/exh029
[12] 斯托茨，PD；Godfrey，P.，带借方弧的位置/转换网络，Inf.Process。莱特。，41, 1, 25-33 (1992) ·Zbl 0743.68107号 ·doi:10.1016/0020-0190（92）90076-8
[13] Reisig，W.，《Petri Nets:导论》（1985），海德堡：斯普林格·Zbl 0555.68033号 ·doi:10.1007/978-3-642-69968-9
[14] 密歇根州卡诺维奇，《作为计算逻辑的线性逻辑》，《纯粹应用》。逻辑，67183-212（1994）·Zbl 0804.03004号 ·doi:10.1016/0168-0072（94）90011-6
[15] Kanovich，MI，Petri网，Horn程序，线性逻辑和向量游戏，Ann.Pure Appl。逻辑，75，1-2，107-135（1995）·Zbl 0829.03007号 ·doi:10.1016/0168-0072（94）00060-G
[16] Asperti，A.，Ferrari，G.L.，Gorrieri，R.：“作为计算的证明”类比中的隐含公式。载于：《持久性有机污染物公约汇编》，第59-71页（1990年）。doi:doi:10.1145/96709.96715
[17] Engberg，美国。；Winskel，G.，Petri网上线性逻辑的完备性结果，Ann.Pure Appl。逻辑，86，2101-135（1997）·Zbl 0873.03005号 ·doi:10.1016/S0168-0072（96）00024-3
[18] 新墨西哥州马丁·奥列特。；Meseguer，J.，《从Petri网到线性逻辑》，数学。结构。计算。科学。，1, 1, 69-101 (1991) ·Zbl 0746.03057号 ·doi:10.1017/S0960129500000062
[19] 石原，K。；Hiraishi，K.，Petri网模型线性逻辑的完备性，logic J.IGPL，9，4，549-567（2001）·Zbl 0980.03024号 ·doi:10.1093/jigpal/9.4.549
[20] 密歇根州卡诺维奇；冈田，M。；Scedrov，A.，轻型线性逻辑的相位语义，ENTCS，6，221-234（1997）·Zbl 0911.68122号
[21] 巴托莱蒂，M。；Cimoli，T。；总经理Pinna；Arbab，F。；Sirjani，M.，《借用Petri网和合同》，《软件工程基础》，66-82（2013），海德堡：施普林格出版社·Zbl 1434.68321号 ·doi:10.1007/978-3-642-40213-5_5
[22] Bartoletti，M.、Cimoli，T.、Pinna，G.M.：借出Petri网。科学。计算。程序。(2015). doi:doi:10.1016/j.scico.2015.05.006·Zbl 1434.68321号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。