NVER, okruh č. 46

Petriho sítě (P/T, barvené) a jejich analýza (strom pokrytí, invarianty).

Materiály

Zatím tu nejsou žádné materiály.

Použito také ve specializacích

• NVER – Verifikace a testování software, č. 46