Ayrık olaylı sistemlerin petri ağı ile modellenmesi
Modelling of discrete event systems by petri net
- Tez No: 127098
- Danışmanlar: DOÇ. DR. SALMAN KURTULAN
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2002
- Dil: Türkçe
- Üniversite: İstanbul Teknik Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Kontrol ve Bilgisayar Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 84
Özet
ÖZET Bu tez çalışmasının amacı ayrık olaylı sistemlerin Petri ağı ile modellenmesine ilişkin kavramların tanıtılması ve analizine ilişkin yöntemlerin incelenmesidir. Ayrık olaylı sistemler (DES) olayların, düzensiz zaman aralıklarında meydana gelmesi ile zaman içinde gelişen ancak dinamik yapısındaki gelişimleri olaylara bağlı olan dinamik sistemlerdir. Ayrık olaylı sistem uygulamalarına günlük hayatta çokça rastlanır, örnek olarak trafik kontrol sistemleri, esnek imalat sistemleri, bilgisayar haberleşme sistemleri, üretim bandları verilebilir. Tezde ilk önce Petri ağırım temel kavramları verilmiştir. Bu temel kavramların anlaşılması için Petri ağlan ile modellemeye örnek olarak bazı ayrık olaylı sistemlerin modelleri sunulmuştur. Daha sonra Petri ağlarının analizleri için geliştirilen çeşitli teknikler sunulmuştur. DES'e bir örnek olarak ayrık olaylar içeren iş akışı yönetim sistemlerinin kavramları tanıtılmıştır. Daha sonra iş akışları kavramlarının Petri ağlan ile ifadeleri gösterilmiştir. îş akışı kavranılan Petri ağı ile modellenmiş ve Petri ağındaki değişkenler ile ilişkilendirilmiştir. îş akışı yönetim sistemlerindeki iş mantığı Petri ağı ile grafiksel bir şekilde temsil edilebilir. İş akışı kavranılan Petri ağı kavranılan ile çok iyi bir şekilde tanımlanabilmektedir. Bu tanımlar WFMC (workflow management coalition) tarafından geliştirilmiştir. İş akışlarının Petri ağı ile modellenmesinde kullanılan ana yapılar gösterilmiştir. Petri ağlarına bazı şartlan sağladıklan takdirde iş akışı ağı denir. Bulunması gereken bu şartlar sunulmuştur. Bu şekilde iş akışı ağma özel bir Petri ağı diyebiliriz. Çeşitli tipteki iş akışları için analiz teknikleri gösterilmiştir. Daha sonra bir şirkette kullanılan eğitim talebi iş akışının görevleri açıklanmıştır. Bu eğitim talebi iş akışının akış diyagramı çıkartılmıştır. Bu akış diyagramından eğitim talebinin Petri ağı temsili elde edilmiştir. Eğitim talebi iş akışının görevleri Petri ağı üzerinde gösterilmiştir. Daha sonra eğitim talebi iş akışının örnek bir çevrimi Petri ağı modeli üzerinde gösterilmiştir. Son olarak bu modelin analizi yapılmıştır. ıx
Özet (Çeviri)
MODELLING OF DESCRITE EVENT SYSTEMS BY PETRI NET SUMMARY The objective of this study is introducing the Petri net concepts related to modelling and examining the methods related to analysing of the discrete event systems by Petri nets. Discrete event systems (DES) are dynamic systems which evolve in time by the occurrence of events at possibly irregular time intervals but evolution in dynamic structure of system is related to events. DES abound in real-world applications. Examples include traffic control systems, flexible manufacturing systems, computer- communications systems, production lines. Firstly we give the basic concepts of Petri nets. We present several examples of discrete event systems which have been modeled by Petri nets for understanding of these basic concepts. Then we present several techniques which have been developed for the analysis of Petri nets. As a sample for DES we introduce the concepts of workflow management system which has discrete events. Then we specify the description of workflows by Petri net. We illustrate the mapping of workflow concepts onto Petri nets. Workflow concepts are modelled by Petri net and illustrated by variables of Petri net. Work logic of workflow management systems is represented grafically by Petri net. Petri net concepts can define workflow concepts very well. These definitions are developed by WFMC(workflow management coalition). We present main structures which is used for workflow modeling by Petri net. Petri net is a workflow net when some requirements are satisfied. We present these requirements. So we can say mat workflow net is a special Petri net. We show various types of workflow net analysis techniques. Then we explain the tasks of a training request workflow which is used in a company. We get the flowchart of training request workflow. We derive a Petri net representation from the flowchart of training request workflow. So we show tasks of training request workflow on the Petri nets. Then we give an example life cycle of training request workflow on the Petri net model. Finaly we analyse mis model. CONJEE?
Benzer Tezler
- Zamanlı ayrık olay sistemleri ve uygulamaları
Timed discrete event systems and applications
İBRAHİM ÜNAL
Yüksek Lisans
Türkçe
2008
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiElektrik Mühendisliği Ana Bilim Dalı
DOÇ. DR. SALMAN KURTULAN
- Zamanlanmış petri ağlarında erişilebilirlik analizi
Reachability analysis of timed petri nets
AHMET YILMAZ
Yüksek Lisans
Türkçe
2009
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiElektronik ve Haberleşme Mühendisliği Ana Bilim Dalı
DOÇ. DR. MÜRVET KIRCI
- Designing, verification and validation of railway signaling systems using coloured petri nets
Demiryolu sinyalizasyon sistemleri için renkli petri ağlarını kullanarak tasarım, doğrulama ve onaylama
ALI ELHAYEK
Yüksek Lisans
İngilizce
2016
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiKontrol ve Otomasyon Mühendisliği Ana Bilim Dalı
PROF. DR. MEHMET TURAN SÖYLEMEZ
- Renkli petri ağlarında erişilebilirlik ağacı ve P değişmezleri analizi
Reachability tree and P invariants analysis of colored petri nets
SERKAN YORULMAZ
Yüksek Lisans
Türkçe
2009
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiElektronik ve Haberleşme Mühendisliği Ana Bilim Dalı
DOÇ. DR. MÜRVET KIRCI
- Petri ağlarında değişmez analizi
Invariant analysis in petri nets
SİNAN ÇAYIR
Yüksek Lisans
Türkçe
2004
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiElektronik Mühendisliği Ana Bilim Dalı
DOÇ. DR. MÜRVET ÜÇER KIRCI