Yazar "Aybar, Aydın, [tarih]" için listeleme
-
Control of continuous Petri nets with infinitive servers semantics
Apaydın, Hanife (Anadolu Üniversitesi, 2010)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ı olarak kısıtlanması gibi kendilerine özgü bazı özelliklerinden dolayı, bu ... -
Petri ağlarında örtüşmeli ayrıştırma ve genleştirme kullanılarak kontrolör tasarımı
Aybar, Aydın, [tarih] (Anadolu Üniversitesi, 2001)Kesikli olay sistemlerin modelleme yöntemlerinden, Petri ağı, vektörel, otomata ve dil gösterimleri incelenmiştir. Bugüne kadar sürekli durum sistemleri için kullanılmış olan ve kesikli durum sistemlerinin yalnızca vektörel ... -
Sınırsız Petri ağları için tersine dönüşebilirliği garanti eden sınır vektörlerinin bulunması
Apaydın, Hanife (Anadolu Üniversitesi, 2004)Bu tezde sınırsız Petri ağlarında, tersine dönüşebilirlik özelliğini garanti eden bir sınır vektörünün bulunması için iki yöntem geliştirilmiştir. Yöntem 1, Petri ağının ulaşılabilirlik kümesinin tersine dönüşebilir bir ... -
Zamanlandırılmış otomata modelinde zaman adımı yaklaşımı
Açıksöz, İbrahim (Anadolu Üniversitesi, 2006)Bu tezde, kesikli olay sistemlerinin modelleme yöntemlerinden, otomata gösterimi ele alınmıştır. Literatürdeki zamanlandırılmış otomata gösterimleri örneklerle birlikte sunulmuştur. Zaman adımı yaklaşımı kullanılarak, ... -
Zamanlandırılmış petri ağlarında sistem çıkmazı analizi
Ergan, Zafer Hüseyin (Anadolu Üniversitesi, 2004)Bu tezde, kesikli olay sistemlerini modelleme yöntemlerinden biri olan zamanlandırılmış Petri ağları ele alınmıştır. Bu modelde, aynı anda veya devam etmekte olan ateşlemeler mevcut iken birden fazla geçiş ateşlenebilmektedir. ...
