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: Unıversıty Of Newcastle Upon Tyne
- Enstitü: Yurtdışı Enstitü
- Ana Bilim Dalı: Bilgisayar Yazılımı Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Ö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
- 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
- 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
- Robotik montaj sistemlerinin petri ağı temelli kontrolü
Petri̇ net based control of robotic assembly systems
YASEMİN İÇMEZ
Yüksek Lisans
Türkçe
2015
Elektrik ve Elektronik MühendisliğiGaziosmanpaşa ÜniversitesiMekatronik Mühendisliği Ana Bilim Dalı
YRD. DOÇ. DR. GÖKHAN GELEN