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] Separability in Persistent Petri Nets [J].

Best, Eike ;

Darondeau, Philippe .

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

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

Iordache, Marian V. ;

Antsaklis, Panos J. .

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

[27] Process of Petri Nets Extension [J].

ZHOU Guofu HE YanxiangDU ZhuominSchool of Computer Wuhan University Wuhan Hubei China .

Wuhan University Journal of Natural Sciences, 2006, (02) :351-354

[28] Neural simulation of Petri nets [J].

Chen, SW ;

Fang, CY ;

Chang, KE .

PARALLEL COMPUTING, 1999, 25 (02) :183-207

[29] On persistent reachability in Petri nets [J].

Barylska, Kamila ;

Mikulski, Lukasz ;

Ochmanski, Edward .

INFORMATION AND COMPUTATION, 2013, 223 :67-77

[30] Fuzzy reasoning Petri nets [J].

Gao, MM ;

Zhou, MC ;

Huang, XG ;

Wu, ZM .

IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2003, 33 (03) :314-324

← 1 2 3 4 5 →