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

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

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

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

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

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

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

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 55 تومان 24 روز بعد از پرداخت 1,122,550 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 110 تومان 12 روز بعد از پرداخت 2,245,100 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
تولید محتوا برای سایت شما
پایگاه ISIArticles آمادگی دارد با همکاری مجموعه «شهر محتوا» با بهره گیری از منابع معتبر علمی، برای کتاب، سایت، وبلاگ، نشریه و سایر رسانه های شما، به زبان فارسی «تولید محتوا» نماید.
  • تولید محتوا با مقالات ISI برای سایت یا وبلاگ شما
  • تولید محتوا با مقالات ISI برای کتاب شما
  • تولید محتوا با مقالات ISI برای نشریه یا رسانه شما
  • و...

پیشنهاد می کنیم کیفیت محتوای سایت خود را با استفاده از منابع علمی، افزایش دهید.

سفارش تولید محتوا کد تخفیف 10 درصدی: isiArticles
منبع

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 کلمه می باشد.

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

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 55 تومان 24 روز بعد از پرداخت 1,122,550 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 110 تومان 12 روز بعد از پرداخت 2,245,100 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.