Lending Petri nets
BARTOLETTI, MASSIMO;CIMOLI, TIZIANA;PINNA, GIOVANNI MICHELE
2015-01-01
Abstract
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.File | Size | Format | |
---|---|---|---|
main.pdf Solo gestori archivio
Type: versione pre-print
Size 563.59 kB
Format Adobe PDF
|
563.59 kB | Adobe PDF | & nbsp; View / Open Request a copy |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.