Editor, verifikátor a animátor Petriho sietí
Uložené v:
| Hlavný autor: | |
|---|---|
| Ďalší autori: | |
| Médium: | Rukopis Kniha |
| Jazyk: | Slovak |
| Vydavateľské údaje: |
Bratislava :
STU v Bratislave FIIT,
2011
|
| Predmet: | |
| On-line prístup: | VAIS |
| Tagy: |
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
Podobné jednotky: Editor, verifikátor a animátor Petriho sietí
- Návrh a simulácia Hierarchickej Petriho siete
- Aplikácia pre diagnostiku chýb pomocou modelov - Petriho sietí
- Testovací systém pre Petriho siete
- Prepis stochastických Petriho sietí do VHDL kódu
- Modelovanie a diagnostika pomocou farebných Petriho sietí
- Modelovanie a diagnostika pomocou farebných Petriho sietí