Synthesis of petri box expressions from petri boxes
Petri kutularından petri kutusu tanımlarının sentezi
- Tez No: 712933
- Danışmanlar: PROF. DR. MACİEJ KOUTNY
- 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: 1995
- Dil: İngilizce
- Üniversite: University of Newcastle upon Tyne
- Enstitü: Yurtdışı Enstitü
- Ana Bilim Dalı: Bilgisayar Yazılımı Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 159
Özet
Petri Box Calculus, eşzamanlı bilgi işlem sistemlerinin modellenmesi ve doğrulanmasında kullanılır. Calculus, grafik tabanlı bir model olan Petri Nets'e çevrilebilen bir Kutu İfadeleri dilinden oluşur. Bu araştırmanın amacı Petri Net'ten Box Expression üretecek bir algoritma uygulamaktır.
Özet (Çeviri)
The Petri Box Calculus is used in modelling and verification of concurrent computing systems. The Calculus consists of a language of Box Expressions that can be translated into Petri Nets- a graph based model. The aim of this research is to implement an algorithm which will produce a Box Expression from Petri Net.
Benzer Tezler
- A general approach for the synthesis of petri net based liveness enforcing supervisors in flexible manufacturing systems
Esnek üretim sistemlerinde petri ağı temelli canlılık uygulayıcı gözeticilerin sentezlenmesi için genel bir yöntem
UMAR SULEIMAN ABUBAKAR
Yüksek Lisans
İngilizce
2014
Elektrik ve Elektronik MühendisliğiMelikşah ÜniversitesiElektrik ve Bilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. MURAT UZAM
- A near-optimal approach for the synthesis of petri net based liveness enforcing supervisors in flexible manufacturing systems
Esnek üretim sistemlerinde canlılık sağlayıcı gözeticilerin sentezlenmesi için optimuma yakın bir yaklaşım
TAHIR LAWAN SALEH
Yüksek Lisans
İngilizce
2014
Elektrik ve Elektronik MühendisliğiMelikşah ÜniversitesiElektrik ve Bilgisayar Mühendisliği Ana Bilim Dalı
Prof. Dr. MURAT UZAM
- Fındık bitkisinin (Corylus avellana) farklı organlarından endofitik fungusların izolasyonu ve sekonder metabolitlerinin araştırılması
Isolation of endophytic fungi from various part of hazelnut (Corylus avellana) and investigation of their secondary metabolites
ŞEREF AKAY
Yüksek Lisans
Türkçe
2011
BiyomühendislikEge ÜniversitesiBiyomühendislik Ana Bilim Dalı
PROF. DR. ERDAL BEDİR
DOÇ. DR. ESİN KOCABAŞ
- Petri ağları ve Ramadge Wonham yöntemlerinin ayrık olay sistemlerinin kontrolüne uygulanmasında yeni melez yaklaşımlar ve üretim sistemlerine uygulanması
New hybrid approches based on petri nets and Ramadge Wonham methods for the synthesis of discrete event sytem controllers and their application to manufacturing systems
GÖKHAN GELEN
Doktora
Türkçe
2010
Elektrik ve Elektronik MühendisliğiNiğde ÜniversitesiElektrik-Elektronik Mühendisliği Ana Bilim Dalı
PROF. DR. MURAT UZAM
- A petri net based divide and conquer method for the synthesis of liveness enforcing supervisors in FMS
Esnek üretim sistemlerinde canlılık sağlayıcı gözeticilerin sentezlenmesi için petri ağı temelli bölve kazan metodu
RABIU SALEH ZAKARIYYA
Yüksek Lisans
İngilizce
2014
Elektrik ve Elektronik MühendisliğiMelikşah ÜniversitesiElektrik ve Bilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. MURAT UZAM