Ara
Toplam kayıt 2, listelenen: 1-2
Petri ağlarında örtüşmeli ayrıştırma ve genleştirme kullanılarak kontrolör tasarımı
(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 ...
Control of continuous Petri nets with infinitive servers semantics
(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 ...