Arama Sonuçları
Önerilen Konular
Önerilen Konular
- Petri ağları 3
- Petri nets
- Automatic control 1
- Biçimsel yöntemler (Bilgisayar bilimi) 1
- Formal methods (Computer science) 1
- Gerçek zamanlı bilgi işlem 1
- Gerçek zamanlı kontrol 1
- Matematiksel modeller 1
- Mathematical models 1
- Otomatik kontrol 1
- Real-time control 1
- Real-time data processing 1
- Sistem analizi 1
- Sistem mühendisliği 1
- System analysis 1
- Systems engineering 1
-
1
Modelling and analysis of hybrid supervisory systems : a petri net approach /
Baskı/Yayın Bilgisi Springer, 2007.Kitap -
2
Petri nets for systems engineering : a guide to modeling, verification, and applications /
Baskı/Yayın Bilgisi Springer, 2003.Kitap -
3
Advances in verification of time petri nets and timed automata : a temporal logic approach /
Baskı/Yayın Bilgisi Springer, 2006.Kitap