Control of continuous Petri nets with infinite servers semantics

Bu tezde, zamanlandırılmış sürekli Petri ağı modeli ele alınmıştır. Zamanlandırılmışsürekli Petri ağlarının kontrol girdilerinin durumlara bağlı olarakkısıtlanması gibi belirli bazı özelliklerinden dolayı, bu modeller için yeni kontrolmetodlarının geliştirilmesine ihtiyaç vardır. Zamanlandırılmış sürekli Petriağlarının kontrolü, orjinal kesikli zaman Petri ağlarının kontrolüne göre dahakolay görünmekle beraber, ele alınan sistemin dağıtımlı (bağlantılı altsistemlerdenoluşmuş) olması durumunda, kontrolcü bütün altsistemlere erişimez.Bu durumda dağıtımlı denetleyici yakla¸sımının ele alınması gerekir. Bu tezde,zamanlandırılmış sürekli Petri ağlarının kontrolü üç farklı açıdan incelenmiştir:1) Buluşsal bir kontrol yöntemi ile sistemin başlangıç durumundan hedef durumunadoğrusal ya da parçalı doğrusal bir yörünge üzerinde zamanı minimizeederek taşıınması, 2) Hedef durumunun bazı bileşenlerinin belirtilmediği durumlariçiin çevirimiçi kontrolcü tasarımı, 3) Dağıtımlı modeller için dağıtımlıkontrolcü tasarımı.