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] Statechartable Petri nets
    Eshuis, Rik
    FORMAL ASPECTS OF COMPUTING, 2013, 25 (05) : 659 - 681
  • [2] Clustering for Petri nets
    Keller, W
    THEORETICAL COMPUTER SCIENCE, 2003, 308 (1-3) : 145 - 197
  • [3] Token Trail Semantics - Modeling Behavior of Petri Nets with Labeled Petri Nets
    Bergenthum, Robin
    Folz-Weinstein, Sabine
    Kovar, Jakub
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2023, 2023, 13929 : 286 - 306
  • [4] ACP SEMANTICS FOR PETRI NETS
    Simonak, Slavomir
    Tomasek, Martin
    COMPUTING AND INFORMATICS, 2018, 37 (06) : 1464 - 1484
  • [5] 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
  • [6] Efficient unfolding of contextual Petri nets
    Baldan, Paolo
    Bruni, Alessandro
    Corradini, Andrea
    Koenig, Barbara
    Rodriguez, Cesar
    Schwoon, Stefan
    THEORETICAL COMPUTER SCIENCE, 2012, 449 : 2 - 22
  • [7] Modeling by Petri Nets
    Kubatova, H.
    ACTA POLYTECHNICA, 2005, 45 (02) : 5 - 13
  • [8] Quotient Petri nets
    Ramirez-Trevino, A.
    Vazquez, C. R.
    Paniagua, I
    Vazquez, G.
    IFAC PAPERSONLINE, 2022, 55 (28): : 315 - 321
  • [9] Negotiations and Petri Nets
    Desel, Joerg
    Esparza, Javier
    TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY XI, 2016, 9930 : 203 - 225
  • [10] On Distributability of Petri Nets
    van Glabbeek, Rob
    Goltz, Ursula
    Schicke-Uffmann, Jens-Wolfhard
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, FOSSACS 2012, 2012, 7213 : 331 - 345
12345