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
Petri nets for systems engineering : a guide to modeling, verification, and applications /
Baskı/Yayın Bilgisi 2003OPAC'ta görüntüle
Kitap -
2
Advances in verification of time petri nets and timed automata : a temporal logic approach /
Baskı/Yayın Bilgisi 2006OPAC'ta görüntüle
Kitap -
3
Modelling and analysis of hybrid supervisory systems : a petri net approach /
Baskı/Yayın Bilgisi 2007OPAC'ta görüntüle
Kitap