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

تولید یک شبکه پتری از مشخصات CSP: یک روش مبتنی بر معناشناسی

عنوان انگلیسی
Generating a Petri net from a CSP specification: A semantics-based method
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی ترجمه فارسی
78592 2012 21 صفحه PDF سفارش دهید
دانلود فوری مقاله + سفارش ترجمه

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

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

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

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

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 55 تومان 21 روز بعد از پرداخت 849,970 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 110 تومان 11 روز بعد از پرداخت 1,699,940 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
تولید محتوا برای سایت شما
پایگاه ISIArticles آمادگی دارد با همکاری مجموعه «شهر محتوا» با بهره گیری از منابع معتبر علمی، برای کتاب، سایت، وبلاگ، نشریه و سایر رسانه های شما، به زبان فارسی «تولید محتوا» نماید.
  • تولید محتوا با مقالات ISI برای سایت یا وبلاگ شما
  • تولید محتوا با مقالات ISI برای کتاب شما
  • تولید محتوا با مقالات ISI برای نشریه یا رسانه شما
  • و...

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

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

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

Journal : Advances in Engineering Software, Volume 50, August 2012, Pages 110–130

ترجمه کلمات کلیدی
برنامه نویسی همزمان؛ CSP؛ شبکه های پتری؛ معناشناسی؛ آثار؛ مشخصات و شبیه سازی
کلمات کلیدی انگلیسی
Concurrent programming; CSP; Petri nets; Semantics; Traces; Specification and Simulation
پیش نمایش مقاله
پیش نمایش مقاله تولید یک شبکه پتری از مشخصات CSP: یک روش مبتنی بر معناشناسی

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

The specification and simulation of complex concurrent systems is a difficult task due to the intricate combinations of message passing and synchronizations that can occur between the components of the system. Two of the most extended formalisms used to specify, verify and simulate such kind of systems are CSP and the Petri nets. This work introduces a new technique that allows us to automatically transform a CSP specification into an equivalent Petri net. The transformation is formally defined by instrumenting the operational semantics of CSP. Because the technique uses a semantics-directed transformation, it produces Petri nets that are closer to the CSP specification and thus easier to understand. This result is interesting because it allows CSP developers not only to graphically animate their specifications through the use of the equivalent Petri net, but it also allows them to use all the tools and analysis techniques developed for Petri nets.

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

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

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

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

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

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 55 تومان 21 روز بعد از پرداخت 849,970 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 110 تومان 11 روز بعد از پرداخت 1,699,940 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.