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

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

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

نسخه انگلیسی مقاله همین الان قابل دانلود است.

هزینه ترجمه مقاله بر اساس تعداد کلمات مقاله انگلیسی محاسبه می شود.

این مقاله تقریباً شامل 20410 کلمه می باشد.

هزینه ترجمه مقاله توسط مترجمان با تجربه، طبق جدول زیر محاسبه می شود:

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 70 تومان 24 روز بعد از پرداخت 1,428,700 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 140 تومان 12 روز بعد از پرداخت 2,857,400 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
منبع

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.

دانلود فوری مقاله + سفارش ترجمه

نسخه انگلیسی مقاله همین الان قابل دانلود است.

هزینه ترجمه مقاله بر اساس تعداد کلمات مقاله انگلیسی محاسبه می شود.

این مقاله شامل 20410 کلمه می باشد.

هزینه ترجمه مقاله توسط مترجمان با تجربه، طبق جدول زیر محاسبه می شود:

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 70 تومان 24 روز بعد از پرداخت 1,428,700 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 140 تومان 12 روز بعد از پرداخت 2,857,400 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.