کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4944591 1437998 2017 16 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
An extension of the taxonomy of persistent and nonviolent steps
ترجمه فارسی عنوان
گسترش طبقه بندی گام های مداوم و بی خشونت
کلمات کلیدی
ماندگاری، بی خشونت، معنای قدم، معادل سازی اکتیو سرور، شبکه پتری، طبقه بندی، رفتار - اخلاق، ساختار،
ترجمه چکیده
ما یک طبقه بندی غنی از انواع متضاد و بی خشونت گام برداریم. برای اولین بار این کار را برای یک مدل کلی از سیستم های گام (گام) انجام می دهیم. پس از آن، ما روی شبکه های پتری تمرکز می کنیم و یک طبقه بندی از مراحل و نشانه های مداوم و بی خشونت را معرفی می کنیم. ما همچنین خواص ساختاری اصلی سازگاری و عدم خشونت را مشخص می کنیم، این مفاهیم رفتاری را با حضور خود حلقه ها در شبکه های پتری، پیوند می دهند.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر هوش مصنوعی
چکیده انگلیسی
We provide a rich classification of different types of step based persistence and nonviolence. We first do this for a general model of (step) transition systems. After that, we focus on Petri nets, and introduce a taxonomy of persistent and nonviolent steps and markings. We also characterise key structural properties of persistence and nonviolence, linking these behavioural notions with the presence of self-loops in Petri nets.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information Sciences - Volumes 394–395, July 2017, Pages 299-314
نویسندگان
, , ,