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 条

[21] Transforming Communicating Sequential Processes to Petri Nets [J].

Llorens, M. ;

Oliver, J. ;

Silva, J. ;

Tamarit, S. .

PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON ENGINEERING COMPUTATIONAL TECHNOLOGY, 2010, 94

[22] Whole-grain Petri Nets and Processes [J].

Kock, Joachim .

JOURNAL OF THE ACM, 2023, 70 (01)

[23] A compositional petri nets semantics for basic lotos [J].

Department of Computer Science, USTO, Algeria .

Inf. Technol. J., 2007, 1 (110-116) :110-116

[24] Make your Petri nets understandable: Reliability block diagrams driven Petri nets [J].

Signoret, Jean-Pierre ;

Dutuit, Yves ;

Cacheux, Pierre-Joseph ;

Folleau, Cyrille ;

Collas, Stephane ;

Thomas, Philippe .

RELIABILITY ENGINEERING & SYSTEM SAFETY, 2013, 113 :61-75

[25] Petri Nets and Programming: A Survey [J].

Iordache, Marian V. ;

Antsaklis, Panos J. .

2009 AMERICAN CONTROL CONFERENCE, VOLS 1-9, 2009, :4994-+

[26] Separability in Persistent Petri Nets [J].

Best, Eike ;

Darondeau, Philippe .

FUNDAMENTA INFORMATICAE, 2011, 113 (3-4) :179-203

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

Khan, Yasir Imtiaz ;

Konios, Alexandros ;

Guelfi, Nicolas .

ACM COMPUTING SURVEYS, 2019, 51 (05)

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

Magalhäes, LP ;

Raposo, AB ;

Ricarte, ILM .

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

[29] 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

[30] 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

← 1 2 3 4 5 →