Mustafa Seçkin Durmuş, Uğur Yıldırım, Mehmet Turan Söylemez
Pamukkale Üniversitesi Mühendislik Bilimleri Dergisi
216-223
Railway signaling system, Railway interlocking system, Functional safety, Petri nets.
Railway signaling system, Railway interlocking system, Functional safety, Petri nets.
A new bitwise voting strategy for safety-critical systems with binary decisions
Turkish Journal of Electrical Engineering and Computer Science
MUSTAFA SEÇKİN DURMUŞ, OYTUN ERİŞ, UĞUR YILDIRIM, MEHMET TURAN SÖYLEMEZ
BASİT BİR MAKİNE–İKİ ÜRÜN SİSTEMİNİN PETRİ AĞLARI KULLANILARAK MODELLENMESİ, ANALİZİ VE SİMULASYONU
TÜRKİYE CUMHURİYETİNDE İŞ SAĞLIĞI VE GÜVENLİĞİ SİSTEMİNİN TEMEL DİNAMİKLERİ VE UYGULAMA ALANI
Uluslararası Batı Karadeniz Sosyal ve Beşeri Bilimler Dergisi
GÜÇ SİSTEMLERİNDE ARIZA TEŞHİSİ İÇİN PETRI NET TABANLI BİR YÖNTEM
Journal of Scientific Reports-A
Özgür COŞAR, Osman SEVAİOĞLU, İlhan KOŞALAY, H.hüseyin SAYAN
An improved hybrid approach for the PLC-based implementation of reduced RW supervisors
Turkish Journal of Electrical Engineering and Computer Science
A New Petri-Net-Based Synthesis Technique for Supervisory Control of Discrete Event Systems
Turkish Journal of Electrical Engineering and Computer Science