Renkli petri ağlarında erişilebilirlik ağacı ve P değişmezleri analizi
Reachability tree and P invariants analysis of colored petri nets
- Tez No: 251953
- Danışmanlar: DOÇ. DR. MÜRVET KIRCI
- Tez Türü: Yüksek Lisans
- Konular: Elektrik ve Elektronik Mühendisliği, Electrical and Electronics Engineering
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2009
- Dil: Türkçe
- Üniversite: İstanbul Teknik Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Elektronik ve Haberleşme Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Elektronik Mühendisliği Bilim Dalı
- Sayfa Sayısı: 114
Özet
Bu çalışmada, ayrık olaylı ve eş zamanlı sistemleri modellemede ve analiz etmede kullanılan Petri Ağlarının gelişmiş bir tipi olan Renkli Petri Ağı ele alınmıştır. Renkli Petri Ağlarının temelini oluşturan Klasik Petri Ağları anlatılmış ve sonrasında da Renkli Petri Ağlarının matematiksel modeli verilmiştir. Bu model üzerinden ağın davranışını gösteren erişilebilirlik ağacı ve P değişmezleri analizleri yapılmıştır. Erişilebilirlik ağacı analizi için kurulan algoritma üzerinden ve P değişmezleri için Martinez Silva algoritması üzerinden bilgisayar programları geliştirilmiştir. Geliştirilen programların zaman performansları ölçülmüştür.Klasik Petri Ağları'nda birçok yer ve geçiş ile modellenecek olan bir sistem, Renkli Petri Ağları'nda renkler sayesinde daha az yer ve geçişle modellenebilir. Renkli Petri Ağları ile fiziksel bir sistemin çalışması, bir yazılım veya bir kontrolörün tasarımı analiz edilebilinir.
Özet (Çeviri)
In this study, Colored Petri Net which is an advanced model of Petri Nets is analysed. It is used to model discrete event and concurrent systems. Classical Petri Net which is the base of Colored Petri Nets is explained and then the mathematical model of Colored Petri Nets is given. Based on this model, the analysis of reachability tree which shows the behavior of Petri Net and the analysis of P invariants are prepared. Computer programs are developed for reachability tree over formed algorithm and for P invariants over Martinez Silva algorithm. Time performances of these programs are measured.System, with many places and transitions, modelled by Classical Petri Nets, can be modelled by Colored Petri Nets with less places and transitions by courtesy of colors. With Colored Petri Nets, working behavioral of physical system, software and controller design can be analys.
Benzer Tezler
- Zamanlanmış renkli petri ağları ile oturum başlatma protokolü (OBP)'nün modellenmesi
Modelling of session initiation protocol using timed colored petri nets
SAFİYE KIZMAZ
Yüksek Lisans
Türkçe
2010
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiElektronik ve Haberleşme Mühendisliği Ana Bilim Dalı
DOÇ. DR. MÜRVET KIRCI
- Çok fonksiyonel zamanlı renkli petri ağları yazılımı
Highly customizable timed colored petri net tool
HAKKI KURUMAHMUT
Yüksek Lisans
Türkçe
2010
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiElektronik ve Haberleşme Mühendisliği Ana Bilim Dalı
DOÇ. DR. MÜRVET KIRCI
- Designing, verification and validation of railway signaling systems using coloured petri nets
Demiryolu sinyalizasyon sistemleri için renkli petri ağlarını kullanarak tasarım, doğrulama ve onaylama
ALI ELHAYEK
Yüksek Lisans
İngilizce
2016
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiKontrol ve Otomasyon Mühendisliği Ana Bilim Dalı
PROF. DR. MEHMET TURAN SÖYLEMEZ
- Esnek robotik hücrelerin süreç odaklı petri ağlarıyla modellenmesi
Modeling of flexible robotic cells using process oriented petri nets
AYŞEGÜL ŞAHİN
Yüksek Lisans
Türkçe
2019
Endüstri ve Endüstri MühendisliğiHacettepe ÜniversitesiEndüstri Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ GÜLDAL GÜLERYÜZ
- Bulut üretim için endüstri 4.0'da bir kolektif farkındalık sistemi
A collective awareness system for cloud manufacturing in industry 4.0
GÖZDE KIRAN
Yüksek Lisans
Türkçe
2018
Endüstri ve Endüstri MühendisliğiHacettepe ÜniversitesiEndüstri Mühendisliği Ana Bilim Dalı
PROF. DR. MURAT CANER TESTİK