کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4944381 1437988 2017 14 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Computation of strict minimal siphons in a class of Petri nets based on problem decomposition
ترجمه فارسی عنوان
محاسبه سیفون های ممتاز کم در یک کلاس شبکه های پتری براساس تجزیه مشکل
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر هوش مصنوعی
چکیده انگلیسی
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.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information Sciences - Volumes 409–410, October 2017, Pages 87-100
نویسندگان
, , ,