Üst denetim Kontrollü Petri Net Tabanlı Kavşak Otomasyonunun Gerçeklenmesi

Yazarlar Ahmet Özkaya Ahmet Bilgiç Türkçe Özet 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ı…