A study on the structural complexity reduction of petri net based liveness-enforcing supervisors in flexible manufacturing systems
Esnek üretim sistemlerinde canlılık sağlayıcı gözeticilerin yapısal karmaşıklığının azaltılması üzerine bir çalışma
- Tez No: 374420
- 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ı: 95
Özet
Esnek üretim sistemlerinde (Flexible Manufacturing Systems – FMS) kördüğümün önlenmesi (canlılık-yürürlüğe koymak) amacıyla şu ana kadar pek çok çalışma yapılmıştır. Petri ağları FMS'te kördüğüm oluşumlarını imkansız hale getirmek için canlılık sağlamak üzere kullanılan bir araçtır. FMS'lerde canlılık-sağlayan bir Petri net denetçisinin performansını değerlendirmek için kullanılan üç kriter davranışsal serbestlik, hesaplama karmaşıklığı ve yapısal karmaşıklıktır. Yapısal karmaşıklığı azaltma, canlılık-uygulayıcı denetçilerdeki kontrol mevkilerinin (monitörlerin) sayısının azaltılmasını içerir. Şu anda bu sorunu çözmek için literatürde bazı önemli sonuçlar vardır. Ancak, yapısal olarak basit monitörler elde etmek için yüksek hesaplama bedeli ödemek zorunludur. Mevki değişmezleri arasında doğrusal ilişkiler kurulması yoluyla makul bir hesaplama çabasıyla yapısal olarak basit monitörler elde etmek için bu çalışmada yeni bir yöntem önerilmiştir. Burada önerilen yöntem ile elde edilen yapısal olarak basit monitörler, optimum veya optimuma yakın davranış serbestliği sağlarlar. Önerilen yaklaşımın farklı Petri ağı sınıflarına uygulanabilirliği çeşitli örneklerle gösterilmiştir.
Özet (Çeviri)
Many works have been carried out for the study on deadlock prevention (liveness-enforcing) in flexible manufacturing systems (FMS). Petri nets have been used as a tool to enforce liveness in FMS so as to make deadlocks impossible to occur. Behavioral permissiveness, computational complexity and structural complexity are three criteria to evaluate the performance of a liveness-enforcing Petri net supervisor for FMSs. The reduction of structural complexity involves the reduction of the number of control places (monitors) in liveness-enforcing supervisors. Currently there are some important results in the literature to solve this problem. However, to obtain structurally simple monitors, one has to pay a high computational price. In this study a new method is proposed for obtaining structurally simple monitors with a reasonable computational effort via establishing linear relationships that exist between the place invariants. Structurally simple monitors obtained by the method proposed here provide optimal or near optimal behavioral permissiveness. The applicability of the proposed approach is shown by means of several examples for different classes of Petri nets.
Benzer Tezler
- Data-driven process mining for production line optimization using IIOT and big data technologies
IIOT ve büyük veri teknolojileri kullanılarak veri odaklı süreç madenciliği ile üretim hattı uygulaması
BEYZA YAPAKÇI
Yüksek Lisans
İngilizce
2025
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiVeri Mühendisliği ve İş Analitiği Ana Bilim Dalı
PROF. DR. ALP ÜSTÜNDAĞ
- A study on the computational complexity reduction of petri net based liveness-enforcing supervisors in flexible manufacturing systems
Esnek üretim sistemlerinde canlılık sağlayıcı gözeticilerin hesaplama karmaşıklığının azaltılması üzerine bir çalışma
SUNUSI GARBA MOHAMMED
Yüksek Lisans
İngilizce
2014
Elektrik ve Elektronik MühendisliğiMelikşah ÜniversitesiElektrik ve Bilgisayar Mühendisliği Ana Bilim Dalı
Prof. Dr. MURAT UZAM
- Çukur yapıların yüzey sürtünme direncine olan etkilerinin hesaplamalı ve deneysel olarak incelenmesi
Experimental and computational investigation of the effect of dimpled surfaces on skin friction reduction
YASİN KAAN İLTER
Doktora
Türkçe
2023
Gemi Mühendisliğiİstanbul Teknik ÜniversitesiGemi İnşaatı ve Gemi Makineleri Mühendisliği Ana Bilim Dalı
DOÇ. DR. UĞUR ORAL ÜNAL
- Killi ortamda üstyapı etkileşimli sayısal modelde kazıklı yayılı temellerin optimizasyonu
Optimization of piled raft foundations with superstructure interaction in a clayey soil using numerical modeling
DAMLA KILİÇ
Yüksek Lisans
Türkçe
2025
İnşaat MühendisliğiSakarya Üniversitesiİnşaat Mühendisliği Ana Bilim Dalı
PROF. DR. SEDAT SERT
- Otomotiv sektöründe parça kontrolü için yapay zekâ destekli yazılım geliştirilmesi
Development of ai-supported software for part inspection in the automotive industry
ONUR ARDIÇ
Doktora
Türkçe
2025
Elektrik ve Elektronik MühendisliğiSakarya ÜniversitesiElektrik-Elektronik Mühendisliği Ana Bilim Dalı
DOÇ. DR. GÖKÇEN ÇETİNEL