Zamanlandırılmış Petri Ağlarında Ateşlenebilirlik Problemlerinin İncelenmesi

Abstract

Bu çalışmada, ayrık olaylı sistemleri modelleme yöntemlerinden biri olan Petri ağlarına, zaman ifadesinin eklenmesiyle elde edilen zamanlandırılmış Petri ağları ele alınmıştır. İkinci bölümde geçişleri deterministik olarak zamanlandırılmış Petri ağları; aynı zamanda ateşlenmelerin olması, çelişki durumunda sistem davranışı, ateşlenebilirlik derecesinin bulunması gibi problemlerin çözümü içerecek şekilde yeniden modellenmiş ve bu modele ait matematiksel ifadeler çıkartılmıştır. Geliştirilen bu model doğrultusunda, ağa ait erişilebilirlik ağacının elde edilmesi için bir yöntem önerilmiştir. Önerilen erişilebilirlik ağacı metodu, MATLAB programında geliştirilen yazılımla desteklenmiştir. Üçüncü bölümde zaman tutmalı Petri ağı modeli incelenmiş ve mümkün olma zamanı ile ateşlenme zamanı arasında belli bir gecikme ifadesi eklenerek model yeniden geliştirilmiş ve geliştirilen bu model matematiksel olarak desteklenmiştir. Dördüncü bölümde ise ağın geçişlerine stokastik zaman gecikmesi eklenmesiyle elde edilen stokastik ve genelleştirilmiş stokastik Petri ağı modelleri incelenmiştir.In this study, timed Petri net which is one of the analysis methods of the discrete event systems is discussed. Timed Petri nets are constituted by adding the time properties to the classical Petri nets. In section two, deterministic timed transitions Petri nets model is developed by adding some properties like solution of the concurrent firings of the transition, finding the firing degree of the transitions, solution of the firing in the conflict situation. The mathematical formulation of this proposed model is also developed. A method which is used the construction of the reachability tree of the system is developed in line with this proposed model. This proposed timed Petri net model is also supported by the computer program which is developed under MATLAB. In section three, holding timed Petri nets model is discussed and this model is developed by adding the time delay between enabling time and firing timed. The mathematical formalism of this proposed model is developed. In the fourth section, stochastic Petri nets and generalized stochastic Petri nets models which was constituted by adding the stochastic time delay to the transitions of the nets are analyzed.