Zamanlanmış Petri Ağlarında Erişilebilirlik Analizi

thumbnail.default.alt
Tarih
Yazarlar
Yılmaz, Ahmet
Süreli Yayın başlığı
Süreli Yayın ISSN
Cilt Başlığı
Yayınevi
Fen Bilimleri Enstitüsü
Institute of Science and Technology
Özet
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
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.
Açıklama
Tez (Yüksek Lisans) -- İstanbul Teknik Üniversitesi, Fen Bilimleri Enstitüsü, 2009
Thesis (M.Sc.) -- İstanbul Technical University, Institute of Science and Technology, 2009
Anahtar kelimeler
Ayrık olaylı sistemler, Zamanlanmış Petri ağı, Erişilebilirlik analizi,, Discrete event systems, Timed Petri nets, Reachability analysis, Petri nets
Alıntı