ترجمه فارسی عنوان مقاله

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

عنوان انگلیسی

Timed Mobility in process algebra and Petri nets

کد مقاله	سال انتشار	تعداد صفحات مقاله انگلیسی
78603	2011	15 صفحه PDF

منبع

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

دانلود رایگان 2 صفحه اول مقاله لاتین (PDF)

پیش نمایش مقاله

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

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.