Renkli Petri Ağlarında Erişilebilirlik Ağacı Ve P Değişmezleri Analizi

dc.contributor.advisor Kırcı, Mürvet tr_TR
dc.contributor.author Yorulmaz, Serkan tr_TR
dc.contributor.department Elektronik Mühendisliği tr_TR
dc.contributor.department Electronics Engineering en_US
dc.date 2009 tr_TR
dc.date.accessioned 2015-05-11T11:31:18Z
dc.date.available 2015-05-11T11:31:18Z
dc.description Tez (Yüksek Lisans) -- İstanbul Teknik Üniversitesi, Fen Bilimleri Enstitüsü, 2009 tr_TR
dc.description Thesis (M.Sc.) -- İstanbul Technical University, Institute of Science and Technology, 2009 en_US
dc.description.abstract 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. tr_TR
dc.description.abstract 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. en_US
dc.description.degree Yüksek Lisans tr_TR
dc.description.degree M.Sc. en_US
dc.identifier.uri http://hdl.handle.net/11527/1122
dc.publisher Fen Bilimleri Enstitüsü tr_TR
dc.publisher Institute of Science and Technology en_US
dc.rights İTÜ tezleri telif hakkı ile korunmaktadır. Bunlar, bu kaynak üzerinden herhangi bir amaçla görüntülenebilir, ancak yazılı izin alınmadan herhangi bir biçimde yeniden oluşturulması veya dağıtılması yasaklanmıştır. tr_TR
dc.rights İTÜ theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. en_US
dc.subject Renkli Petri Ağları, Erişilebilirlik Ağacı, P değişmezleri, Petri Ağları, Ayrık olaylı sistemler tr_TR
dc.subject Colored Petri Nets en_US
dc.subject Reachability Tree en_US
dc.subject P Invariants en_US
dc.subject Petri Nets en_US
dc.subject Discrete event systems en_US
dc.title Renkli Petri Ağlarında Erişilebilirlik Ağacı Ve P Değişmezleri Analizi tr_TR
dc.title.alternative Reachability Tree And P Invariants Analysis Of Colored Petri Nets en_US
dc.type Master Thesis en_US
Dosyalar
Orijinal seri
Şimdi gösteriliyor 1 - 1 / 1
thumbnail.default.alt
Ad:
9404.pdf
Boyut:
1.52 MB
Format:
Adobe Portable Document Format
Açıklama
Lisanslı seri
Şimdi gösteriliyor 1 - 1 / 1
thumbnail.default.placeholder
Ad:
license.txt
Boyut:
3.14 KB
Format:
Plain Text
Açıklama