Çok FonksĐyonel Zamanlı RenklĐ PetrĐ Ağları Yazılımı
Çok FonksĐyonel Zamanlı RenklĐ PetrĐ Ağları Yazılımı
dc.contributor.advisor | Kırcı, Mürvet | tr_TR |
dc.contributor.author | Kurumahmut, Hakkı | tr_TR |
dc.contributor.department | Elektronik Mühendisliği | tr_TR |
dc.contributor.department | Electronics Engineering | en_US |
dc.date | 2010 | tr_TR |
dc.date.accessioned | 2015-05-11T11:31:21Z | |
dc.date.available | 2015-05-11T11:31:21Z | |
dc.description | Tez (Yüksek Lisans) -- İstanbul Teknik Üniversitesi, Fen Bilimleri Enstitüsü, 2010 | tr_TR |
dc.description | Thesis (M.Sc.) -- İstanbul Technical University, Institute of Science and Technology, 2010 | en_US |
dc.description.abstract | 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. | tr_TR |
dc.description.abstract | 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. | 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/1137 | |
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 | Petri Ağları, Zamanlı Petri Ağları, Renkli Petri Ağları, Zamanlı Renkli Petri Ağları. | tr_TR |
dc.subject | Petri Nets | en_US |
dc.subject | Colored Petri Nets | en_US |
dc.subject | Timed Petri Nets | en_US |
dc.subject | Timed Colored Petri Nets. | en_US |
dc.title | Çok FonksĐyonel Zamanlı RenklĐ PetrĐ Ağları Yazılımı | tr_TR |
dc.title.alternative | Highly Customizable Timed Colored Petri Net Tool | en_US |
dc.type | Thesis | en_US |
dc.type | Tez | tr_TR |