Arvutid II teooria eksam
Petri võrgud (Petri Nets)
Valideerida süsteemi kirjeldust, et kontrollida, kas end module sõlme märgistus ja märgitakse kõik järgnevad
Diskreetsed sündmused (Discerete events)
funktsionaalsus vastab soovitule ja et vajadused on run p1; sõlmed
(Sünkroonsed) lõplikud olekumasinad (Finite
annaabi.ee 
