Yayın: Zamanlı Ayrık Olay Sistemleri Ve Uygulamamları
Yükleniyor...
Dosyalar
Tarih
Yazarlar
Danışman
Bölüm / Program
Kontrol ve Otomasyon Mühendisliği
Control and Otomation Engineering
Control and Otomation Engineering
Dergi Başlığı
Dergi ISSN
Cilt Başlığı
Yayıncı
Fen Bilimleri Enstitüsü
Institute of Science and Technology
Institute of Science and Technology
Türü
Özet
Bu çalışmada, ayrık olaylı sistemlerin, zamanlı otomat ve zamanlı Petri ağı ile modellenmesine ilişkin kavramlar tanıtılmış ve analizine ait yöntemler incelenmiştir. Ayrık olaylı sistemler için zamanlama mekanizmaları tanımlanarak otomat modelleri ve Petri ağları daha da genişletilip, olay zamanı içeren ayrık olaylı sistemler için bir model yaratıldı. “Otoyol Giriş Denetimi” ile ilgili olarak Simulaworks paket programı yardımıyla zamanlı Petri ağı uygulaması gerçekleştirilip, programdaki “jeton-oyun animasyonları” ile ağın işleyişi gözlemlenmiştir. DES modeli elde edilmiş olan zamanlı Petri ağı, Siemens Simatic Manager programı ile simule edilerek, bilgisayar ortamında gerçeklenmiştir. Sonuç olarak zamanlı modellerin gerçek sistemlere verimli bir şekilde uygulanabildiği incelenmiş ve görülmüştür.
In this study, timed automata and timed Petri net concepts related to modeling are introduced and the methods for analysing of discrete event systems as timed models are examined. Describing timing mechanisms for discrete event systems, automaton models and Petri nets have been directly extended and also a model framework for DES that includes event timing has been created. Using Simulaworks, Petri net tool, timed Petri net application on “Highway Entrance Control” has been realized. Running of this application was observed by “token-game animation”. The timed Petri net whose DES model has been acquired was generated and realized through Siemens Simatic Manager software tool. As a consequence, it is observed that timed models can be applied to real systems in an efficient manner.
In this study, timed automata and timed Petri net concepts related to modeling are introduced and the methods for analysing of discrete event systems as timed models are examined. Describing timing mechanisms for discrete event systems, automaton models and Petri nets have been directly extended and also a model framework for DES that includes event timing has been created. Using Simulaworks, Petri net tool, timed Petri net application on “Highway Entrance Control” has been realized. Running of this application was observed by “token-game animation”. The timed Petri net whose DES model has been acquired was generated and realized through Siemens Simatic Manager software tool. As a consequence, it is observed that timed models can be applied to real systems in an efficient manner.
Tanım
Tez (Yüksek Lisans) -- İstanbul Teknik Üniversitesi, Fen Bilimleri Enstitüsü, 2008
Thesis (M.Sc.) -- İstanbul Technical University, Institute of Science and Technology, 2008
Thesis (M.Sc.) -- İstanbul Technical University, Institute of Science and Technology, 2008
Dergi veya Seri
ISSN
ISBN
Haklar
İTÜ tezleri telif hakkı ile korunmaktadır. Bunlar, bu kaynak üzerinden herhangi bir amaçla görüntülenebilir, ancak yazılı izin alınmadan herhangi bir biçimde yeniden oluşturulması veya dağıtılması yasaklanmıştır.
İTÜ theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission.
İTÜ theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission.
Anahtar Kelimeler
Zamanlı Otomat, DES, Zamanlı Petri Ağ, Timed Automata, DES, Timed Petri Net
Alıntı
Onay
Gözden geçir
Tamamlayıcı Bilgiler
Referans Gösteren
26
Görüntülenme
59
İndirme
Google Scholar
Scholar'da Ara ↗ Bu yayında DOI yok — Altmetric/Dimensions/PlumX/BIP! rozetleri DOI gerektirir.