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ı: Belirtilmemiş.
Ö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
Endüstri ve Endüstri Mühendisliğiİstanbul Teknik ÜniversitesiVeri Mühendisliği ve İş Analitiği Ana Bilim Dalı (disiplinlerarası)
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
- A hybrid framework for structural static analysis and optimization of I-beams: A comparative study with FEM
I kesit kirişlerin yapısal statik analizi ve optimizasyonu için hibrit bir yaklaşım: FEM ile karşılaştırmalı inceleme
AHMET AKTAŞ
Yüksek Lisans
İngilizce
2025
Makine Mühendisliğiİstanbul Teknik ÜniversitesiMakine Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ HACI ABDULLAH TAŞDEMİR
- Ç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
- A comparative analysis of various 3D mesh optimization algorithms for assessing effectiveness on sustaining virtual visual illusion
Çeşitli 3B örgü optimizasyon algoritmalarının yanılsama algılamasına etkilerinin analiz edilerek kıyaslanması
ÜMİT ERONAT
Yüksek Lisans
İngilizce
2024
Bilim ve TeknolojiOrta Doğu Teknik ÜniversitesiModelleme ve Simülasyon Ana Bilim Dalı
PROF. DR. SANİYE TUĞBA TOKEL