Lending Petri nets

被引：9
|
作者：
Bartoletti, Massimo [1 ]
Cimoli, Tiziana [1 ]
Pinna, G. Michele [1 ]
机构：
[1] Univ Cagliari, Dipartimento Matemat & Informat, I-09124 Cagliari, Italy
来源：
SCIENCE OF COMPUTER PROGRAMMING | 2015年 / 112卷
关键词：
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 条
  • [1] Lending Petri Nets and Contracts
    Bartoletti, Massimo
    Cimoli, Tiziana
    Pinna, G. Michele
    FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2013, 2013, 8161 : 66 - 82
  • [2] From Coloured Petri Nets to Object Petri Nets
    Lakos, C
    APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 278 - 297
  • [3] PETRI NETS
    PETERSON, JL
    COMPUTING SURVEYS, 1977, 9 (03) : 223 - 252
  • [4] PETRI NETS
    ROZENBLYUM, LY
    ENGINEERING CYBERNETICS, 1983, 21 (05): : 19 - 43
  • [5] Petri nets
    Advances in Industrial Control, 2009, (9781848822436): : 17 - 43
  • [6] Petri nets
    Petrinetze
    Informatik-Spektrum, 1600, Springer Verlag (37): : 165 - 167
  • [7] Using colored Petri nets to simulate object Petri nets
    Corchado, FFR
    Gallegos, FZ
    Jiménez, AA
    Dávila, HIP
    International Conference on Computing, Communications and Control Technologies, Vol 5, Proceedings, 2004, : 27 - 31
  • [8] Petri Nets with Time Windows: A Comparison to Classical Petri Nets
    Wegener, Jan-Thierry
    Popova-Zeugmann, Louchka
    FUNDAMENTA INFORMATICAE, 2009, 93 (1-3) : 337 - 352
  • [9] HIERARCHY AND PARALLELISM IN PETRI NETS .1. COMPOSITE PETRI NETS
    TAL, AA
    YUDITSKII, SA
    AUTOMATION AND REMOTE CONTROL, 1982, 43 (07) : 936 - 943
  • [10] Formal Translation from Reversing Petri Nets to Coloured Petri Nets
    Barylska, Kamila
    Gogolinska, Anna
    Mikulski, Lukasz
    Philippou, Anna
    Piatkowski, Marcin
    Psara, Kyriaki
    REVERSIBLE COMPUTATION, 2022, : 172 - 186
12345