Geri Dön

Development of an interactive tool for stochastic petri net simulation

Başlık çevirisi mevcut değil.

  1. Tez No: 24436
  2. Yazar: RASİM MAHMUTOĞULLARI
  3. Danışmanlar: DOÇ. DR. M. UFUK ÇAĞLAYAN
  4. Tez Türü: Yüksek Lisans
  5. Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
  6. Anahtar Kelimeler: Stokastik petri ağları, Stochastic petri nets
  7. Yıl: 1992
  8. Dil: İngilizce
  9. Üniversite: Boğaziçi Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Belirtilmemiş.
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: Belirtilmemiş.

Özet

ÖZET Petri ağlan paralel sistemlerdeki bilgi ve kontrol akışının soyut ve biçimsel modelleridir. Günümüzde zamanlı ve Stokastik Petri ağlan ile sözü geçen sistem modellerinin işleme değerlendirmeleri yapılabilmektedir. Stokastik Petri ağlarının elle incelenmesi, özelliklerinin araştırılması ve istatistiksel ölçümlerinin yapılması oldukça güçtür. Bu durum bir benzetim aracına olan ihtiyacı ortaya çıkarmaktadır. Bu tez yukarda açıklanan ihtiyacı karşılayacak bir yazılımı sunar. Bu yazılım Stokastik Petri Ağlan için Etkileşimli Benzetim Sistemi (ISSPN) olarak adlandırılmıştır. ISSPN tez içersinde tanımı verilmiş olan tahmini Petri ağlatının etkileşimli olarak tanımlanmasını, benzetiminin yapılıp istatistiksel bilgilerin toplanmasını sağlar. Benzetim sırasında istendiğinde bir Petri ağı üzerinde değişiklik yapılmasına ve benzetime devam edilmesine veya yeniden başlanmasına olanak tanır. Yazılım Petri ağlatının kendi içlerinde küçük Petri ağcıklanndan oluşmasına izin verir. Stokastik Petri Ağlannın metin formunda tanımlanabilmesi amacıyla Stokastik Petri Ağlan için Tanımlama Dili (SPNDL) adlı yazdım dili önerilmiş ve geliştirilmiştir. ISSPN, SPNDL dilinde verilen ağlan okuyabilir ve istenirse ağın tanımım bu dilde üretebilir. Yazılımın sonuçlan ile kullanıcılar modeli doğruluyabilir ve işlemesini değerlendirebilir.

Özet (Çeviri)

IV ABSTRACT Petri Nets are abstract, formal models of information and control flow in systems exhibiting concurrency and synchronous behavior, and are widely used for modeling parallel systems. With the introduction of timed and stochastic Petri Nets, Petri Nets are now also used in performance evaluation of the modeled systems. Given a stochastic Petri Net (SPN) model, it is very difficult to manually analyze it and look for its certain properties, as well as to carry out statistical measurements, which thus requires the need for an automated tool. This thesis presents the design and implementation of a software tool, called Interactive Simulator for Stochastic Petri Nets (IS SPN), to simulate an SPN model. SPNs as accepted by ISSPN are defined. The ISSPN allows the user to define an SPN interactively and graphically. Stochastic Petri Net Definition Language (SPNDL) is proposed and defined to help specify SPNs in text form. SPNs that are specified in SPNDL are also accepted by ISSPN. A SPN may consist of subSPNs, thus the concept of hierarchic SPNs is available for the modeler. During the simulation, the SPN being simulated may be modified and the simulation may be continued or restarted. Intermediate statistical results are available during the simulation. The ISSPN is also able to generate a SPNDL definition of a SPN created in graphical form to ease transportation. Using the results of the simulation, the user can evaluate the performance of the modeled system and validate the correctness of the model by analyzing the statistical measurements.

Benzer Tezler

  1. Tez No

    982086

    Optimizasyon tabanlı bir su kaynakları sistemi modelleme aracının geliştirilmesi ve çok amaçlı sektörel tahsise uygulanması

    Development of an optimization-based modeling tool for water resources systems and application to multi-objective sectoral allocation

    SALİM YAYKIRAN

    Doktora

    Türkçe

    Türkçe

    2025

    Çevre Mühendisliğiİstanbul Teknik Üniversitesi

    Çevre Mühendisliği Ana Bilim Dalı

    DOÇ. DR. ALPASLAN EKDAL

  2. Tez No

    102669

    Sigortacılık sisteminde aktif-pasif yönetimi ve Türkiye hayat sigortası örneğinde portföy performansının boyutlarını belirleyen faktörlerin irdelenmesine ilişkin bir model denemesi

    Assets and liablity management in the insurance sector and investigating sectors that are determinating dimensions of the portfolio performance by relating to model testing in the Turkish life insurance sector

    ALİ İHSAN DOĞAN

    Doktora

    Türkçe

    Türkçe

    2001

    İşletmeMarmara Üniversitesi

    Bankacılık Ana Bilim Dalı

    PROF.DR. ABDÜLGAFFAR AĞAOĞLU

  3. Tez No

    803025

    Stochastic discontinuous Galerkin methods for pde-based models with random coefficients

    Rastgele katsayılı kısmi diferansiyel denklem tabanlı modeller için stokastik süreksiz Galerkin yöntemleri

    PELİN ÇİLOĞLU

    Doktora

    İngilizce

    İngilizce

    2023

    MatematikOrta Doğu Teknik Üniversitesi

    Bilimsel Hesaplama Ana Bilim Dalı

    DOÇ. DR. HAMDULLAH YÜCEL

  4. Tez No

    998976

    Derin öğrenme modelleri kullanarak yazma alanında özgül öğrenme güçlüklerinin erken teşhisi

    Early diagnosis of specific learning difficulties in writing using deep learning models

    NEŞE ÖZKUM

    Yüksek Lisans

    Türkçe

    Türkçe

    2026

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolSakarya Üniversitesi

    Bilgisayar Mühendisliği Ana Bilim Dalı

    PROF. DR. NEJAT YUMUŞAK

  5. Tez No

    39680

    Elektrik enerji iletim şebekelerinin optimal genişletme planlaması

    Optimal expansion planning of power transmission networks

    NAZİF HÜLAGÜ SOHTAOĞLU

    Doktora

    Türkçe

    Türkçe

    1994

    Elektrik ve Elektronik Mühendisliğiİstanbul Teknik Üniversitesi

    PROF.DR. NESRİN TARKAN

Geri Dön