Search
Now showing items 1-2 of 2
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 ...
Sınırsız Petri ağları için tersine dönüşebilirliği garanti eden sınır vektörlerinin bulunması
(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 ...