Sınırsız Petri ağları için tersine dönüşebilirliği garanti eden sınır vektörlerinin bulunması

Abstract

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 alt kümesindeki tüm işaretleme vektörlerini kapsayan bir sınır vektörü; Yöntem 2, Petri ağının başlangıç durumuna dönen yollar (geçişler ve işaretleme vektörlerinden oluşan diziler) elde ederek, bu yollardaki işaretleme vektörlerini, dolayısıyla ağın ulaşılabilirlik kümesinin tersine dönüşebilir bir alt kümesindeki tum işaretleme vektörlerini kapsayan bir sınır vektörü önermektedir. Bu yöntemlerden herhangi biriyle elde edilen bir sınır vektöründen yaşrarlanarak tasarlanan bir kontrolör yardımıyla sınırsız bir Petri ağının tersine dönüşebilirliği garanti edilmektedir.