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

TCTL-حفظ ترجمه از شبکه های پتری timed-arc به شبکه های اتوماسیون زمان

عنوان انگلیسی
TCTL-preserving translations from timed-arc Petri nets to networks of timed automata
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی ترجمه فارسی
78594 2014 26 صفحه PDF سفارش دهید
دانلود فوری مقاله + سفارش ترجمه

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

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

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

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

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 55 تومان 28 روز بعد از پرداخت 1,180,190 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 110 تومان 14 روز بعد از پرداخت 2,360,380 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
تولید محتوا برای سایت شما
پایگاه ISIArticles آمادگی دارد با همکاری مجموعه «شهر محتوا» با بهره گیری از منابع معتبر علمی، برای کتاب، سایت، وبلاگ، نشریه و سایر رسانه های شما، به زبان فارسی «تولید محتوا» نماید.
  • تولید محتوا با مقالات ISI برای سایت یا وبلاگ شما
  • تولید محتوا با مقالات ISI برای کتاب شما
  • تولید محتوا با مقالات ISI برای نشریه یا رسانه شما
  • و...

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

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

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

Journal : Theoretical Computer Science, Volume 537, 5 June 2014, Pages 3–28

ترجمه کلمات کلیدی
تأیید رسمی؛ TCTL؛ شبکه های پتری Timed-arc؛ اتوماسیون زمان
کلمات کلیدی انگلیسی
Formal verification; TCTL; Timed-arc Petri nets; Timed automata
پیش نمایش مقاله
پیش نمایش مقاله TCTL-حفظ ترجمه از شبکه های پتری timed-arc به شبکه های اتوماسیون زمان

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

We present a framework for TCTL-preserving translations between time-dependent modeling formalisms. The framework guarantees that once the original and the translated system are in one-by-many correspondence relation (a notion of behavioral equivalence between timed transition systems) then TCTL properties of the original system can be transformed too while preserving the verification answers. We demonstrate the usability of the technique on two reductions from bounded timed-arc Petri nets to networks for timed automata, providing unified proofs of the translations implemented in the verification tool TAPAAL. We evaluate the efficiency of the approach on a number of experiments: alternating bit protocol, Fischer's protocol, Lynch–Shavit protocol, MPEG-2 encoder, engine workshop and medical workflow. The results are encouraging and confirm the practical applicability of the approach.

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

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

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

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

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

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 55 تومان 28 روز بعد از پرداخت 1,180,190 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 110 تومان 14 روز بعد از پرداخت 2,360,380 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.