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

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

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

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

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

کلمات کلیدی
تحرک؛ ساعت محلی؛ جبر فرآیند - شبکه های پتری سطح بالا ؛ ترجمه هدایت دستور نحوی؛ هم ارزی رفتاری
پیش نمایش مقاله
پیش نمایش مقاله تحرک به پایان رسیده در جبر فرآیند و شبکه های پتری

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

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.

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