کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6875309 1441597 2018 13 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Reversible computation vs. reversibility in Petri nets
ترجمه فارسی عنوان
محاسبات برگشت پذیر و برگشت پذیری در شبکه های پتری
کلمات کلیدی
ترجمه چکیده
اضافه کردن معکوس می تواند به شدت بر رفتار یک شبکه پتری تاثیر می گذارد. به همین دلیل مهم است که بتوانیم مشخص کنیم که آیا خالص اصلاح شده دارای مجموعه ای مشابه از حالت ها به عنوان یک اولیه است. ما ابتدا ثابت می کنیم که مشکل تعیین اینکه آیا شبکه های اولیه و اصلاح شده دارای همان نشانه های قابل دستیابی هستند قابل حل نیست حتی در پرونده محدود شده در این مقاله. سپس ما نشان می دهیم که مشکل بررسی اینکه آیا مجموعه های دستیابی دو شبکه پوشش همان علامت گذاری را دارند قابل حل است.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
Adding reverses can severely impact on the behaviour of a Petri net. Therefore it is important, in particular, to be able to determine whether the modified net has a similar set of states as the initial one. We first prove that the problem of establishing whether the initial and modified nets have the same reachable markings is undecidable, even in the restricted case considered in this paper. We then show that the problem of checking whether the reachability sets of the two nets cover the same markings is decidable.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volume 151, 1 January 2018, Pages 48-60
نویسندگان
, , , ,