Lending Petri nets

被引:9
|
作者
Bartoletti, Massimo [1 ]
Cimoli, Tiziana [1 ]
Pinna, G. Michele [1 ]
机构
[1] Univ Cagliari, Dipartimento Matemat & Informat, I-09124 Cagliari, Italy
关键词
Petri nets; Contracts; Intuitionistic Logic; SEMANTICS; VIEW;
D O I
10.1016/j.scico.2015.05.006
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
We study Lending Petri nets, an extension of Petri nets where places may carry a negative number of tokens. This allows for modeling contracts where a participant may promise to give some of her resources under the guarantee that some other resources will eventually be obtained in exchange. We then propose an interpretation of the Horn fragment of Propositional Contract Logic in Lending Petri nets. In particular, we show that provability in the logic corresponds to reachability of certain markings in nets, and that proof traces correspond to "honored" firing sequences in nets. (C) 2015 Elsevier B.V. All rights reserved.
引用
收藏
页码:75 / 101
页数:27
相关论文
共 50 条
  • [31] PETRI NETS ARE MONOIDS
    MESEGUER, J
    MONTANARI, U
    INFORMATION AND COMPUTATION, 1990, 88 (02) : 105 - 155
  • [32] PETRI NETS FOR CLASSIFICATION
    NATHAN, M
    TAVARES, SE
    ELECTRONICS LETTERS, 1992, 28 (10) : 965 - 966
  • [33] Statechartable Petri nets
    Eshuis, Rik
    FORMAL ASPECTS OF COMPUTING, 2013, 25 (05) : 659 - 681
  • [34] Fuzzy Petri nets
    Cheng, P
    Forward, K
    FIRST INTERNATIONAL CONFERENCE ON KNOWLEDGE-BASED INTELLIGENT ELECTRONIC SYSTEMS, PROCEEDINGS 1997 - KES '97, VOLS 1 AND 2, 1997, : 402 - 408
  • [35] LEAKAGE IN PETRI NETS
    MEMMI, G
    RAIRO-INFORMATIQUE THEORIQUE-THEORETICAL COMPUTER SCIENCE, 1978, 12 (02): : 125 - 144
  • [36] Multilabeled Petri Nets
    Dokter, Kasper
    FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2019, 2020, 12018 : 106 - 126
  • [37] ON THE IMPLEMENTATION OF PETRI NETS
    TAUBNER, D
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 340 : 418 - 439
  • [38] Recursion and Petri nets
    Eike Best
    Raymond Devillers
    Maciej Koutny
    Acta Informatica, 2001, 37 : 781 - 829
  • [39] Quantum Petri Nets
    Letia, Tiberiu S.
    Durla-Pasca, Elenita M.
    Al-Janabi, Dahlia
    2021 25TH INTERNATIONAL CONFERENCE ON SYSTEM THEORY, CONTROL AND COMPUTING (ICSTCC), 2021, : 431 - 436
  • [40] An introduction to Petri nets
    Barad, M
    INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2003, 32 (06) : 565 - 582