Petri ağlarının modellenmesi
Tezin Türü: Yüksek Lisans
Tezin Yürütüldüğü Kurum: Eskişehir Osmangazi Üniversitesi, FEN BİLİMLERİ ENSTİTÜSÜ, ELEKTRİK-ELEKTRONİK MÜHENDİSLİĞİ ANABİLİM DALI, Türkiye
Tezin Onay Tarihi: 2003
Tezin Dili: Türkçe
Öğrenci: VOLKAN ÇALIŞKAN
Danışman: ABDURRAHMAN KARAMANCIOĞLU
Özet:ÖZET Petri ağlan, ilk kez 1962'de Carl Adam Petri tarafından tanımlanmıştır. Petri ağı, grafiksel ve matematiksel bir modelleme aracıdır. Petri ağları, 1960'ların başından itibaren gelişme göstermektedir. Petri ağları ile ilgili birçok modelleme aracı bulunmaktadır. Ayrıca; Petri ağlarının birçok çeşidinin olması, bu modelleme araçlarının sayısını artırmaktadır. Bu modelleme araçlarının her biri belli birkaç çeşit Petri ağı için özelleşmiştir. Bu nedenle, modelleyeceğimiz Petri ağında kullanılacak modelleme aracı büyük önem kazanmaktadır. Bu çalışmada, Petri ağının çeşitleri genel bir biçimde açıklanmıştır. Ayrıca; bu çalışmada kullanılan "HPSim" de birçok modelleme aracı içinden seçilmiş özel bir araçtır. HPSim; Yer / Geçiş Ağları (Genel Petri Ağları), Stokastik Petri Ağları ve Zamanlandırılmış Petri Ağları için kullanılan bir modelleme aracıdır. Bu çalışmada, bu araçtan detaylı bir şekilde bahsedilmiştir. Çalışmanın son aşamasında ise; birkaç modelleme probleminin Petri ağı çizilmiş, ilk (birincil) işaretlemeleri verilmiş ve son olarak da bilgisayar ortamında simülasyonları gerçekleştirilmiştir.