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 条

[41] Reasoning via Petri Nets [J].

Luo, Huaiju ;

Luo, Jiliang ;

Lin, Wanzhen .

2017 EIGHTH INTERNATIONAL CONFERENCE ON INTELLIGENT CONTROL AND INFORMATION PROCESSING (ICICIP), 2017, :162-167

[42] On Petri nets semantics for π-calculus [J].

School of Electronic and Information Engineering, Xi'an Jiaotong University, Xi'an 710049, China ;

不详 .

Kongzhi yu Juece Control Decis, 2007, 8 (864-868)

[43] PETRI NETS WITH UNCERTAIN MARKINGS [J].

CARDOSO, J ;

VALETTE, R ;

DUBOIS, D .

LECTURE NOTES IN COMPUTER SCIENCE, 1991, 483 :64-78

[44] Executability of scenarios in Petri nets [J].

Lorenz, Robert ;

Juhas, Gabriel ;

Bergenthum, Robin ;

Desel, Joerg ;

Mauser, Sebastian .

THEORETICAL COMPUTER SCIENCE, 2009, 410 (12-13) :1190-1216

[45] Modeling of Uncertainty with Petri Nets [J].

Kucharik, Michal ;

Balogh, Zoltan .

INTELLIGENT INFORMATION AND DATABASE SYSTEMS, ACIIDS 2019, PT I, 2019, 11431 :499-509

[46] Petri Nets with Localities and Testing [J].

Kleijn, Jetty ;

Koutny, Maciej .

APPLICATIONS AND THEORY OF PETRI NETS, PROCEEDINGS, 2010, 6128 :19-+

[47] Reversing Unbounded Petri Nets [J].

Mikulski, Lukasz ;

Lanese, Ivan .

APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2019, 2019, 11522 :213-233

[48] Petri Nets with Structured Data [J].

Badouel, Eric ;

Helouet, Loic ;

Morvan, Christophe .

FUNDAMENTA INFORMATICAE, 2016, 146 (01) :35-82

[49] A Compositional Framework for Petri Nets [J].

Lechenne, Serge ;

Eberhart, Clovis ;

Hasuo, Ichiro .

COALGEBRAIC METHODS IN COMPUTER SCIENCE, CMCS 2024, 2024, 14617 :174-193

[50] Variable Petri Nets for Mobility [J].

Ding, Zhijun ;

Yang, Ru ;

Cui, Puwen ;

Zhou, MengChu ;

Jiang, Changjun .

IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2022, 52 (08) :4784-4797

← 1 2 3 4 5 →