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 条

[31] Petri nets modeling applications [J].

Choudhury, DR ;

Chordiya, N .

7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL V, PROCEEDINGS: COMPUTER SCIENCE AND ENGINEERING: I, 2003, :87-92

[32] A Survey of Petri Nets Slicing [J].

Khan, Yasir Imtiaz ;

Konios, Alexandros ;

Guelfi, Nicolas .

ACM COMPUTING SURVEYS, 2019, 51 (05)

[33] Animation modeling with Petri Nets [J].

Magalhäes, LP ;

Raposo, AB ;

Ricarte, ILM .

COMPUTERS & GRAPHICS-UK, 1998, 22 (06) :735-743

[34] Logical Petri Nets with Data [J].

Liu, Wei ;

Wang, Pin ;

Du, Yuyue ;

Yan, Chun .

2015 FIFTH INTERNATIONAL CONFERENCE ON INSTRUMENTATION AND MEASUREMENT, COMPUTER, COMMUNICATION AND CONTROL (IMCCC), 2015, :840-844

[35] Complex token Petri nets [J].

Desrochers, AA ;

Deal, TJ ;

Fanti, MP .

2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, :1153-1160

[36] On characterizing binary Petri Nets [J].

Sujit Kumar Singh ;

Riddhi Jangid ;

Gajendra Pratap Singh .

International Journal of System Assurance Engineering and Management, 2023, 14 :919-929

[37] Petri nets and resource bisimulation [J].

Bashkin, VA ;

Lomazovat, IA .

FUNDAMENTA INFORMATICAE, 2003, 55 (02) :101-114

[38] Balanced Fuzzy Petri Nets [J].

Fryc, Barbara ;

Matusiewicz, Zofia .

PARALLEL PROCESSING LETTERS, 2023, 33 (04)

[39] Transforming BPEL to Petri nets [J].

Hinz, S ;

Schmidt, K ;

Stahl, C .

BUSINESS PROCESS MANAGEMENT, PROCEEDINGS, 2005, 3649 :220-235

[40] DP AUTOMATA AND PETRI NETS [J].

Kere, Monica .

KEPT 2011: KNOWLEDGE ENGINEERING PRINCIPLES AND TECHNIQUES, 2011, :305-314

← 1 2 3 4 5 →