Zamanlanmış Petri Ağlarında Erişilebilirlik Analizi
| dc.contributor.advisor | Kırcı, Mürvet | |
| dc.contributor.author | Yılmaz, Ahmet | |
| dc.contributor.department | Elektronik Mühendisliği | |
| dc.contributor.department | Electronics Engineering | |
| dc.date | 2009 | |
| dc.date.accessioned | 2015-05-11T11:31:19Z | |
| dc.date.available | 2015-05-11T11:31:19Z | |
| 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ı sistemleri modelleyen zamanlanmış Petri ağları ele alınmıştır. Geçişleri belirli olarak zamanlanmış Petri ağları için, yerlerdeki izinli jetonların çıkışları tamamlanmadan, yerlerin jeton kazanımlarına izin veren, ok ağırlıkları bir ile sınırlı olmayan, çelişki durumlarını belirleyen ve geçişlere öncelik ataması yaparak çelişkiyi çözen bir erişilebilirlik analizi yöntemi geliştirilmiştir. Ve bu yöntem, C yazılım diliyle desteklenerek, ayrık olaylı sistemlerin gerçek zamanlı benzetimi gerçekleştirilmiştir Tezin uygulamalar kısmında, örnek olarak incelenen sistemler, geçişleri zamanlanmış Petri ağları ile modellenmiş ve erişilebilirlik analizi geliştirilen yöntemle yapılmıştır. Çıkış dosyaları doğruluğu, görsel bir yazılım ve jeton sayısı-zaman grafikleri çizilerek incelenmiş, geliştirilen yöntemin ayrık olaylı sistemlerin erişilebilirlik analizinde kullanılabileceği gösterilmiştir | |
| dc.description.abstract | In this thesis deterministic timed transition Petri nets are researched and a method is developed for reachability analysis of timed Petri nets. The method has some advantages, states can earn tokens before they lose all of their enable tokens, the weight of arcs are not limited with one, conflict is detected and resolved with priority assigning for transitions. This method is supported with C software language and real time analysis of discrete event systems is simulated. In the application section, given processes are modeled with timed transition Petri nets. Reachability analysis of the modeled processes is done with developed software. Output files of reachability analysis are analyzed with token number-time graphics and with a visual software. It’s showed that, this method can be used for reachability analysis of discrete event systems. | |
| dc.description.degree | Yüksek Lisans | |
| dc.description.degree | M.Sc. | |
| dc.identifier.uri | http://hdl.handle.net/11527/1125 | |
| 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 | Ayrık olaylı sistemler, Zamanlanmış Petri ağı, Erişilebilirlik analizi, | |
| dc.subject | Discrete event systems | |
| dc.subject | Timed Petri nets | |
| dc.subject | Reachability analysis | |
| dc.subject | Petri nets | |
| dc.title | Zamanlanmış Petri Ağlarında Erişilebilirlik Analizi | |
| dc.title.alternative | Reachability Analysis Of Timed Petri Nets | |
| dc.type | Master Thesis |