A general approach for the synthesis of petri net based liveness enforcing supervisors in flexible manufacturing systems

Abstract

Bu tezde, kördüğüm problemi olan bir esnek üretim sisteminin Petri ağı modeli için bir canlılık uygulayıcı gözetici hesaplanması konusunda genel bir yöntem önerilmektedir. Bu tezde önerilen kördüğüm kontrolu yaklaşımında, kördüğüm problemi olan asıl Petri ağı modelinde değişiklik yapılması söz konusudur. Buna göre, tasarım sürecinde geçici olarak kullanılan ve daha sonra asıl Petri ağı modeli canlı olduğunda kaldırılan küresel bir kaynak / yutak mevkisi (a global sink/source place GP) eklenmektedir. Önerilen yöntem basit, kullanımı ve hesaplaması kolaydır. Önerilen yaklaşımın uygulanabilirliği örneklerle gösterilmektedir.

In this thesis, a general approach is proposed for the computation of a liveness enforcing supervisor for the Petri net model of a flexible manufacturing system (FMS) prone to deadlocks. The proposed deadlock control policy in this thesis requires a modification to be made to the original Petri net model prone to deadlocks. The modification is simply the addition of a global sink/source place (GP), which is employed temporarily in the design process and then removed when the system becomes live. The proposed method is easy to use, straightforward and has computational simplicity. The applicability of the proposed approach is illustrated through examples from the related literature.