Renkli Petri Ağlarında Erişilebilirlik Ağacı Ve P Değişmezleri Analizi
| dc.contributor.advisor | Kırcı, Mürvet | |
| dc.contributor.author | Yorulmaz, Serkan | |
| dc.contributor.department | Elektronik Mühendisliği | |
| dc.contributor.department | Electronics Engineering | |
| dc.date | 2009 | |
| 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 | |
| dc.description | Thesis (M.Sc.) -- İstanbul Technical University, Institute of Science and Technology, 2009 | |
| 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. | |
| 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. | |
| dc.description.degree | Yüksek Lisans | |
| dc.description.degree | M.Sc. | |
| dc.identifier.uri | http://hdl.handle.net/11527/1122 | |
| dc.publisher | Fen Bilimleri Enstitüsü | |
| dc.publisher | Institute of Science and Technology | |
| 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. | |
| 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. | |
| dc.subject | Renkli Petri Ağları, Erişilebilirlik Ağacı, P değişmezleri, Petri Ağları, Ayrık olaylı sistemler | |
| dc.subject | Colored Petri Nets | |
| dc.subject | Reachability Tree | |
| dc.subject | P Invariants | |
| dc.subject | Petri Nets | |
| dc.subject | Discrete event systems | |
| dc.title | Renkli Petri Ağlarında Erişilebilirlik Ağacı Ve P Değişmezleri Analizi | |
| dc.title.alternative | Reachability Tree And P Invariants Analysis Of Colored Petri Nets | |
| dc.type | Master Thesis |