Search Results
Suggested Topics within your search.
Suggested Topics within your search.
- Petri ağları
- Petri nets 3
- 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 /
Published Springer, 2007.Book -
2
Petri nets for systems engineering : a guide to modeling, verification, and applications /
Published Springer, 2003.Book -
3
Advances in verification of time petri nets and timed automata : a temporal logic approach /
Published Springer, 2006.Book