Otazky z FSS - 1.termin
1. Vypocet Petriho siete: markingy, realizácia, jazyky P.S.
2. Zovšeobecnena substitucia: syntax a sémantika Z.S.
1 - priklad petriho siet kde trebalo vypocitat T-invarianty (nebol zlozity siet)
2 - priklad definovanie Strojt co mal 3 operacie,
- prvy vyberanie z dvoch cisel max
- druhy pridanie prvok k mnozine SS co patri do N
- nedeterministicky vyber z SS
Priklady skoro co boli na cvika
Vela stastia.