Bağlantıları zamanlandirilmiş Petri Ağları modellenmesi ve yasaklanmiş durum kontrolü yaklaşımı

Bu tezde, zamanlandırılmış Petri Ağları için zaman gecikmelerinin bağlantılara atandığı yeni bir matematiksel ve grafiksel modelleme yöntemi sunulmuştur. Zamanlandırılmış Petri Ağlarında, durumlar belirtilerin akışını zamanla değiştirmektedir. Bu zamana bağlı hareket, ateşleme süreçleri sırasında ağın matematiksel ve grafiksel değerlendirmesini izlemekte yetersiz kalmaktadır. Önerilen modelde, geçiş halindeki belirtilerin izlenmesini sağlayan zaman elemanı olarak adlandırılan bir üçgen gösterimi sunulmuştur. Ayrıca, sistemin herhangi bir zamandaki durumu, yerlerdeki belirtilerin durumunu bu zamanda gösteren işaretleme vektörü ile geçiş halindeki belirtilerin kalan süresini gösteren kalan zaman vektörünü içermektedir. Sistem durumunun işaretleme ve kalan zaman vektörleri cinsinden ifade edilmesi, ulaşılabilirlik kümesinin elde edilmesini ve zamanlanmış bir ulaşılabilirlik ağacının oluşturulmasını mümkün kılmıştır. Önerilen matematiksel model için kontrolör tasarımı da dikkate alınmıştır. Hem kontrol tasarımı hem de ulaşılabilirlik kümesinin elde edilmesi için ilgili algoritmalar geliştirilmiş ve MATLAB ile benzetimi yapılmıştır. Sonuçlar, üretim, demiryolu ve otomotiv sistemleri gibi gerçek zamanlı ve gerçek dünya uygulamaları ile sunulmuştur. Önerilen yaklaşımın performansını değerlendirmek için, bu yaklaşım Zamanlandırılmış Petri Ağları için başka bir modelleme yöntemi olan Uzatılmış (Streç) Petri Ağları ile karşılaştırılmıştır.