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

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

عنوان انگلیسی
Computation of strict minimal siphons in a class of Petri nets based on problem decomposition
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی
152066 2017 14 صفحه PDF
منبع

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

Journal : Information Sciences, Volumes 409–410, October 2017, Pages 87-100

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

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

Efficient siphon computation plays an important role in deadlock control. This work, based on problem decomposition, develops a new method to compute all strict minimal siphons (SMS) in a class of Petri nets called Systems of Simple Sequential Processes with Resources (S3PR). It is proved to be of polynomial complexity with respect to the number of SMSs. Therefore, it is readily applicable to an S3PR with a large number of SMSs. Its superiority over the existing methods is validated via experimental results.