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

استحکام کنترل بن بست برای یک کلاس از شبکه های پتری با منابع غیر قابل اعتماد

کد مقاله سال انتشار مقاله انگلیسی ترجمه فارسی تعداد کلمات
78569 2013 21 صفحه PDF سفارش دهید محاسبه نشده
خرید مقاله
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
عنوان انگلیسی
Robustness of deadlock control for a class of Petri nets with unreliable resources
منبع

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

Journal : Information Sciences, Volume 235, 20 June 2013, Pages 259–279

کلمات کلیدی
شبکه پتری؛ بن بست؛ سیستم تولید خودکار - سرپرست؛ Siphon
پیش نمایش مقاله
پیش نمایش مقاله استحکام کنترل بن بست برای یک کلاس از شبکه های پتری با منابع غیر قابل اعتماد

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

A variety of deadlock control policies based on Petri nets have been proposed for automated manufacturing systems (AMSs). Most of them prevent deadlocks by adding monitors for emptiable siphons that, without an appropriate control policy, can cause deadlocks, where the resources in a system under consideration are assumed to be reliable. When resources are unreliable, it is infeasible or impossible to apply the existing control strategies. For systems of simple sequential processes with resources (S3PR), this paper bridges the gap between a divide-and-conquer deadlock control strategy and its application to real-world systems with unreliable resources. Recovery subnets and monitors are designed for unreliable resources and strict minimal siphons that may be emptied, respectively. Normal and inhibitor arcs are used to connect monitors with recovery subnets in case of necessity. Then reanalysis of the original Petri net is avoided and a robust liveness-enforcing supervisor is derived. Examples are presented to illustrate the proposed methodology.

خرید مقاله
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.