کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6875246 1441591 2018 15 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Pre-synthesis of Petri nets based on prime cycles and distance paths
ترجمه فارسی عنوان
پیش سنتز شبکه های پتری براساس چرخه اول و مسیرهای فاصله
کلمات کلیدی
انتخاب فریزر، برچسب های انتقال سیستم، شبکه پتری، سنتز،
ترجمه چکیده
وابستگی های متفاوتی بین این خصوصیات وجود دارد. اموال چرخه نخست و مسیر مسیر مسیر مشخص می شود که به دیگران اشاره دارد. این اجازه می دهد تا قبل از سنتز به یک روش کارآمد سازماندهی شود، زیرا خواص تلویحی لازم نیست بررسی شود اگر خواصی که توسط آنها مشخص شده است، قبلا بررسی شده باشند.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش مقاله
پیش سنتز شبکه های پتری براساس چرخه اول و مسیرهای فاصله
چکیده انگلیسی
Various interdependencies between these properties will be revealed. The prime cycle property and the distance path property will be shown to imply other ones. This allows pre-synthesis to be organised in an efficient way, because implied properties do not need to be checked if the properties they are implied by are already checked.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volume 157, 1 June 2018, Pages 41-55
نویسندگان
, ,