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

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

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

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

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

کلمات کلیدی
شبکه های پتری؛ قرارداد؛ منطق شهودی
پیش نمایش مقاله
پیش نمایش مقاله شبکه های پتری اعطای وام  ☆

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

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.

خرید مقاله
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.