Ahmet Özkaya
Ahmet Bilgiç

Eş zamanlılık, asenkron çalışma, belirsizlik gibi özelliklere sahip sistemlere Ayrık Olay Sistemleri denilmektedir. Başlangıçta karmaşık olmayan bu sistemlerin gerçeklenmesi deneme yanılma yönetimiyle gerçekleştirilmesine karşın, ilgili sistemlerin (AOS) karmaşıklığının giderek artması, modellenmelerinin ve kontrollerinin de zorlaşmasına sebep olmuş ve daha formal yöntemlerin geliştirilmesi önem kazanmıştır[6].Bu yöntemler sonlu durum makinaları (SDM) ve petri ağlarıdır(PA).Sonlu durum makinaları yapılan ilk çalışmalarda etkili olmuş fakat grafiksel görünüm ve takip kolaylığı açısından zayıf kalmıştır [1]. Petri ağları ise grafiksel öğeler bakımından da zengin oluşundan AOS sistemlerinde daha geniş kullanım alanı bulmuştur. Petri ağ yapısı, olayın ifade edildiği yer, yer değişimleri için gerekli koşulu ve değişim yönünü ifade eder. Günümüzde özellikle akademik alanda ayrık olay sistemlerinin denetimi için petri net ağları çok yaygın kullanılmaktadır. Fakat pratik anlamda kullanımı çok yaygın değildir[5]. Bu çalışmada örnek bir kavşaktaki trafik akışı modellenecek ve kontrol edilecektir. Algoritma üst denetim kontrollü petri ağları ile gerçeklenecek, kullanılan algoritmanın beraberinde getirecekleri ise sonuçlar bölümünde detaylı olarak yer alacaktır.