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

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

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

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

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

کلمات کلیدی
برنامه نویسی همزمان؛ CSP؛ شبکه های پتری؛ معناشناسی؛ آثار؛ مشخصات و شبیه سازی
پیش نمایش مقاله
پیش نمایش مقاله تولید یک شبکه پتری از مشخصات 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.

خرید مقاله
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.