دانلود مقاله ISI انگلیسی شماره 78597
ترجمه فارسی عنوان مقاله

شبکه های پتری اعطای وام ☆

عنوان انگلیسی
Lending Petri nets ☆
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی
78597 2015 27 صفحه PDF
منبع

Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)

Journal : Science of Computer Programming, Volume 112, Part 1, 15 November 2015, Pages 75–101

ترجمه کلمات کلیدی
شبکه های پتری؛ قرارداد؛ منطق شهودی
کلمات کلیدی انگلیسی
Petri nets; Contracts; Intuitionistic Logic
پیش نمایش مقاله
پیش نمایش مقاله  شبکه های پتری اعطای وام  ☆

چکیده انگلیسی

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.