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

تحرک به پایان رسیده در جبر فرآیند و شبکه های پتری

عنوان انگلیسی
Timed Mobility in process algebra and Petri nets
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی ترجمه فارسی
78603 2011 15 صفحه PDF سفارش دهید
دانلود فوری مقاله + سفارش ترجمه

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

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

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

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

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 18 تومان 13 روز بعد از پرداخت 151,902 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 36 تومان 7 روز بعد از پرداخت 303,804 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
تولید محتوا برای سایت شما
پایگاه ISIArticles آمادگی دارد با همکاری مجموعه «شهر محتوا» با بهره گیری از منابع معتبر علمی، برای کتاب، سایت، وبلاگ، نشریه و سایر رسانه های شما، به زبان فارسی «تولید محتوا» نماید.
  • تولید محتوا با مقالات ISI برای سایت یا وبلاگ شما
  • تولید محتوا با مقالات ISI برای کتاب شما
  • تولید محتوا با مقالات ISI برای نشریه یا رسانه شما
  • و...

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

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

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

Journal : The Journal of Logic and Algebraic Programming, Volume 80, Issue 7, October 2011, Pages 377–391

ترجمه کلمات کلیدی
تحرک؛ ساعت محلی؛ جبر فرآیند - شبکه های پتری سطح بالا ؛ ترجمه هدایت دستور نحوی؛ هم ارزی رفتاری
کلمات کلیدی انگلیسی
Mobility; Local clocks; Process algebra; High level Petri nets; Syntax driven translation; Behavioural equivalence
پیش نمایش مقاله
پیش نمایش مقاله تحرک به پایان رسیده در جبر فرآیند و شبکه های پتری

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

We provide a structural translation of TiMo into behaviourally equivalent high level timed Petri nets. As a result, we obtain a formal net semantics for timed interaction and migration which is both structural and allows one to deal directly with concurrency and causality.

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

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

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

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

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

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 18 تومان 13 روز بعد از پرداخت 151,902 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 36 تومان 7 روز بعد از پرداخت 303,804 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.