'Anadolu Universitesi Bilim ve Teknoloji Dergisi-A: Uygulamali Bilimler ve Muhendislik'
Abstract
Tez (yüksek lisans) - Anadolu ÜniversitesiAnadolu Üniversitesi, Fen Bilimleri Enstitüsü, Elektrik-Elektronik Mühendisliği Anabilim DalıKayıt no: 251213Bu tezde, kesikli olay sistemlerini modelleme yöntemlerinden biri olan zamanlandırılmış Petri ağları ele alınmıştır. Bu modelde, aynı anda veya devam etmekte olan ateşlemeler mevcut iken birden fazla geçiş ateşlenebilmektedir. Zamanlandırılmış Petri ağlarında, belirli zaman aralığı için ulaşılabilirlik kümesinin nasıl elde edileceği verilmiştir. Ayrıca zamanlandırılmış Petri ağları için sistem çıkmazı kavramına değinilmiş ve sistem çıkmazının nasıl tespit edileceği açıklanmıştır. Ulaşılabilirlik kümesinin oluşturulması ve sistem çıkmazının tespit edilmesi ile ilgili algoritmalar geliştirilmiş ve bu algoritmalar MATLAB programı kullanılarak gerçekleştirilmiştir
