Petri ağlarında örtüşmeli ayrıştırma ve genleştirme kullanılarak kontrolör tasarımı

Kesikli olay sistemlerin modelleme yöntemlerinden, Petri ağı, vektörel, otomata ve dil gösterimleri incelenmiştir. Bugüne kadar sürekli durum sis temleri için kullanılmış olan ve kesikli durum sistemlerinin yalnızca vektörel gösterimi için uygulanmış olan örtüşmeli ayrıştırma ve genleştirme işlemleri, Petri ağları, otomata ve dil gösterimlerine ilk kez bu çalışmada uygulanmıştır. İçerme prensibi yine bu çalışmada Petri ağları, otomata ve dil gösterimleri için ilk kez tanımlanmıştır. Petri ağı ve otomata gösterimlerinin her biri için, örtüşmeli ayrıştırmaya dayalı dışmerkezli kontrolör tasarım yöntemleri geliştirilmiştir. Bu yöntemlerle tasarlanan kontrolörler, sistem çıkmazı mey dana gelmemesini garanti etmektedir. Ayrıca bu çalışmada, sistem çıkmazı meydana gelmesine izin vermeyen bir dil tasarım yöntemi de önerilmiştir.Anahtar Kelimeler: Kesikli Olay Sistemler, Petri Ağları, Örtüşmeli Ayrıştırma, İçerme Prensibi, Dışmerkezli Kontrol