Geri Dön

Çok fonksiyonel zamanlı renkli petri ağları yazılımı

Highly customizable timed colored petri net tool

  1. Tez No: 292248
  2. Yazar: HAKKI KURUMAHMUT
  3. Danışmanlar: DOÇ. DR. MÜRVET KIRCI
  4. Tez Türü: Yüksek Lisans
  5. Konular: Elektrik ve Elektronik Mühendisliği, Mühendislik Bilimleri, Electrical and Electronics Engineering, Engineering Sciences
  6. Anahtar Kelimeler: Petri Ağları, Zamanlı Petri Ağları, Renkli Petri Ağları, Zamanlı Renkli Petri Ağları, Petri Nets, Colored Petri Nets, Timed Petri Nets, Timed Colored Petri Nets
  7. Yıl: 2010
  8. Dil: Türkçe
  9. Üniversite: İstanbul Teknik Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Elektronik ve Haberleşme Mühendisliği Ana Bilim Dalı
  12. Bilim Dalı: Elektronik Mühendisliği Bilim Dalı
  13. Sayfa Sayısı: 87

Özet

Bu çalışmada, ayrık olaylı ve eş zamanlı sistemleri modellemede ve analiz etmede kullanılan Petri Ağı sistemlerinin gelişmiş tipleri olan Renkli Petri Ağları, Zamanlı Petri Ağları ve bunların bileşimi olan Zamanlı Renkli Petri Ağları ele alınmıştır. Ayrıca Rastlantısal Zamanlı Renkli Petri Ağları sistemleri de incelenmiştir. Petri Ağların incelenmesi ve analizi için bir algoritma önerilmiştir. Ayrıca bu algoritmayı kullanan çok fonksiyonel bir yazılım geliştirilmiştir.Petri Ağlarının ne olduğu ve bu alanda yapılan çalışmaların neler olduğuna değinilmiştir. Petri Ağların temel yapıları olan yer, geçiş, oklar ve jetonlardan, Petri Ağlarının matematiksel gösterimleri ve ateşleme kavramından bahsedilmiştir. İşaretleme, Erişebilirlik Ağacı ve Erişebilirlik Grafiği gibi kavramlar açıklanmıştır.Yazılımın giriş dosya formatı (anahtar kelimeler ve parametrelerinin açıklanması) ve çıkış dosyasının içeriği (işaretlemeler, ateşlenme dizileri, aranan ve kapsayan işaretlemelerin bulunması) açıklanmıştır. Yazılım kullanılarak analiz edilmiş Petri Ağı örnekleri verilmiştir. Var olan benzeri yazılımlarla karşılaştırılması yapılmıştır.

Özet (Çeviri)

In this thesis, Petri Nets (PN) used in modeling/analyzing discrete event and concurrent systems are focused on. The following PN types are investigated in this work: Colored Petri Nets (CPN), Timed Petri Nets (TPN), Timed Colored Petri Nets (TCPN), and Stochastic Timed Petri Net (STPN). The main goal of the thesis is to design an algorithm to analyze PNs and implement this algorithm by writing a tool.PNs are described and available background works are given. Also, the basic components (place, transition, arrow, and tokens) of a PN, PN terminology (firing, marking, reachability graph, reachability tree), and PN related mathematical expressions are detailed. Furthermore, the differences in descriptions between basic PNs and TPNs, the types of TPNs, SPNs are pointed out. Moreover, the followings are also explained: CPNs, the differences in descriptions between basic PNs and CPNs, and strengths of CPNs over basic PNs. Finally, the proposed algorithm and its strengths are stated.Input file details (keywords and their parameters, etc.) and output file contents (markings, firing groups, searched and found markings, etc.) are described. Then, example PNs are analyzed by using the tool. The results from this written new tool are compared with the ones, got from the existing similar tools, in terms of strengths and weakness.

Benzer Tezler

  1. Diyabetik retinopatide eş zamanlı parlaklık duyusu testi

    Simultaneous brightness sense test in diabetic retinopathy

    NİHAL MAŞLAK

    Tıpta Uzmanlık

    Türkçe

    Türkçe

    1998

    Göz HastalıklarıErciyes Üniversitesi

    Göz Hastalıkları Ana Bilim Dalı

    PROF. DR. ENGİN BAYKAL

  2. Otomotiv aydınlatma sektöründe optik tasarım ve analizlerin iyileştirilmesi için renkli PMMA plakaların üretimi ve optik karakterizasyonu

    Production and optical characterization of colored PMMA plates to improve optical design and analysis in the automotive lighting industry

    MEHMET FATİH ATAŞALAN

    Yüksek Lisans

    Türkçe

    Türkçe

    2018

    Metalurji MühendisliğiBursa Teknik Üniversitesi

    İleri Teknolojiler Ana Bilim Dalı

    DR. ÖĞR. ÜYESİ NAZLI AKÇAMLI

  3. DEVELOPMENT OF MICROFLUIDIC BASED SINGLE CELL CAPTURING SYSTEMS FOR EARLY DETECTION OF DISEASES

    Erken teşhise yönelik mikroakışkan tabanlı tek hücre yakalama sistemlerinin geliştirilmesi

    EMRE ALTINAĞAÇ

    Doktora

    İngilizce

    İngilizce

    2020

    Biyoteknolojiİstanbul Teknik Üniversitesi

    Nanobilim ve Nanomühendislik Ana Bilim Dalı

    PROF. DR. HÜSEYİN KIZIL

  4. Triarilpiridin grupları içeren ftalosiyaninlerin sentezi, fotofiziksel ve elektrokimyasal karakterizasyonu

    Synthesis, photophysical and electrochemical characterization of phthalocyanine containing triarypyride groups

    NAGİHAN BEBEK

    Yüksek Lisans

    Türkçe

    Türkçe

    2023

    KimyaSakarya Üniversitesi

    Kimya Ana Bilim Dalı

    PROF. DR. İLKAY ŞİŞMAN

  5. Rapid relaxation-based color magnetic particle imaging

    Hızlı relaksasyon-tabanlı renkli manyetik parçacık görüntüleme

    MUSA TUNÇ ARSLAN

    Doktora

    İngilizce

    İngilizce

    2022

    Elektrik ve Elektronik Mühendisliğiİhsan Doğramacı Bilkent Üniversitesi

    Elektrik ve Elektronik Mühendisliği Ana Bilim Dalı

    DOÇ. DR. EMİNE ÜLKÜ SARITAŞ ÇUKUR