A petri net based divide and conquer method for the synthesis of liveness enforcing supervisors in FMS
Esnek üretim sistemlerinde canlılık sağlayıcı gözeticilerin sentezlenmesi için petri ağı temelli bölve kazan metodu
- Tez No: 374428
- Danışmanlar: PROF. DR. MURAT UZAM
- Tez Türü: Yüksek Lisans
- Konular: Elektrik ve Elektronik Mühendisliği, Electrical and Electronics Engineering
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2014
- Dil: İngilizce
- Üniversite: Melikşah Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Elektrik ve Bilgisayar Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 87
Özet
Esnek üretim sistemlerinde (Flexible Manufacturing Systems – FMS) kördüğümler paylaşılan kaynaklar nedeniyle ortaya çıkar ve feci sonuçlara yol açarlar. Petri ağları FMS' lerde kördüğüm problemlerini çalışmak için yaygın olarak kullanılan bir modelleme ve tasarım aracıdır. Bu yüksek lisans tezinde, FMS' lerde canlılık sağlayıcı denetçilerin sentezi (LES) için Petri ağı temelli bir böl ve kazan yöntemi önerilmiştir. Karmaşık bir Petri ağı modelinde (Petri net model – PNM) kördüğüm problemleriyle başa çıkmak için, ulaşılabilirlik grafı (RG) kullanımı mümkün değildir. Bu sorunun üstesinden gelmek için, bu tezde önerilen yöntemde, Petri ağı modeli, küçük bağlı alt ağları bölünür. Sonra, LES bu alt-ağları kullanarak orijinal Petri ağı modeliiçin hesaplanır. Her ne kadar önerilen yöntemin çevrim dışı (off-line) hesaplanması teorisi olarak üstel karmaşıklığa sahip olsa daönerilen yöntem uygulanabilir, çok etkili ve kolay anlaşılırdır. Önerilen yöntemin uygulanabilirliğini göstermek için bazı örnekler sunulmuştur.
Özet (Çeviri)
In flexible manufacturing systems (FMS), deadlocks occur due to shared resources and lead to catastrophic results. Petri nets have been widely used as a modeling and design tool for the study of deadlock problems in FMSs. In this thesis, a Petri net based divide and conquer method is proposed for the synthesis of liveness enforcing supervisors (LES) in FMSs. To deal with deadlocks in a complex Petri net model (PNM), the use of reachability graph (RG) is unmanageable. To overcome this problem, in the method proposed in this thesis, the Petri net model is divided into small connected sub-nets. Then, a LES is computed for the original PNM by using these sub-nets. The proposed method is generally applicable, very effective and straight forward although its off-line computation is of exponential complexity in theory. Examples are provided to show the applicability of the proposed method.
Benzer Tezler
- Redundant and safe work implementation for S7-1200 PLC family
S7-1200 plc ailesi için yedekli ve emniyetli çalışma uygulaması
OKAN KONUK
Yüksek Lisans
İngilizce
2020
Mühendislik Bilimleriİstanbul Teknik ÜniversitesiKontrol ve Otomasyon Mühendisliği Ana Bilim Dalı
PROF. DR. SALMAN KURTULAN
- Türkiye'de petrol ve petrol sektörünün girdi-çıktı analizi
Petroleum in Turkey and the analysis of petroleum sector by input-output method
ORHAN ÇINAR
- Die Suche nach einer terminologischen Äquivalenz zum Begriff Der Metapher im Türkischen durch Vergleich von Rhetorik und belâgat
Metafor Kavramına Retorik- Belâgat Mukayesesi İçinde ve Belâgat Terminolojisinde Kavramsal Karşılık Arayışları
MEHMET AKİF DUMAN
Doktora
Almanca
2018
DilbilimJohannes Gutenberg-Universität MainzTürkoloji Ana Bilim Dalı
PROF. DR. HENDRİK BOESCHOTEN
- A Petri net based inference network for design automation at functional level applied to mechatronic systems
Tasarım otomasyonu için geliştirilen işlevsel düzeyde, petri net tabanlı bir tasarım ağı ve mekatronik sistemlere uygulanması
ZÜHAL ERDEN
Doktora
İngilizce
1999
Makine MühendisliğiOrta Doğu Teknik ÜniversitesiMakine Mühendisliği Ana Bilim Dalı
PROF. DR. ABDULKADİR ERDEN