Zamanlanmış Renkli Petri Ağları İle Oturum Başlatma Protokolü (obp)’nün Modellenmesi

Abstract

Ayrık olay sistemlerinin modellenmesinde kullanımı gittikçe artan petri ağları bu tez çalısmasının temelini olusturmaktadır. Đnternetin hızla yayılmasının bir sonucu olarak doğan ve Internet Protokolü üzerinden çağrı yapılmasına olanak sağlayan Oturum Baslatma Protokolü(OBP) petri ağlarının gelismis bir tipi olan Zamanlanmıs Renkli Petri Ağları ile modellenmis ve analizi yapılmıstır. Olusturulan modellerin erisilebilirlik ağacı ve performans analizleri petri ağlarının modellenmesinde en çok kullanılan yazılım aracı olan CPN Tools programı ile yapılmıstır. Daha sonra model klasik zamanlanmıs renkli petri ağı modeliyle yeniden olusturulmus ve yazılan bir program ile analizleri gerçeklestirilerek karsılastırma yapma olanağı sağlanmıstır. Modeller istenen tüm sartları sağlamaktadır, bu sartlar islemlerin durum makinelerinin akısına göre belirlenir. Durum uzayı analizi sonucunda hangi durumda hangi islemin ne sekilde davrandığı açıkça belirtilmistir. Ayrıca bu çalısmada, zamanlayıcılar arasındaki iliski, analizlere dayandırılmıs ve islemlerin sıralı olarak gerçeklestirdiği olaylar elde edilmistir. OBP zamanlanmıs renkli petri ağları ile ilk kez bu tez çalısmasında modellenmis ve benzetimleri yapılmıstır.

Petri Nets which are useful tools to analyze and model of discrete event systems underlie this study. As a result of the rapid spread of the Internet emerged over Internet Protocol, which allows calls only Session Initiation Protocol(SIP) environment analysed and developed with as a type of advanced Petri nets; timed colored Petri nets. Generated model’s reachability trees and performance analysis are performed by CPN Tools program which is the most widely used in petri nets modelling. Thereafter INVITE’s model is formed again with classical timed coloured petri nets graphs and analysed with a written program. Provided making comparisons are possible. The models provide all desirable conditions that are determined state machine diagrams. In state space analysis, behaviours of transactions are specified. Besides, relations between timers are attributed analysis and states which transaction events which occurs in order are achieved. In this study, SIP is modelled and analysed with timed colored petri nets at the first time.