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