korrektselt. · Formaalset verifitseerimist run p4 Petri võrgud on intuitiivsed ja Machines) · Simuleerimist lõppema enne kui p2 ja mitteinterpreteeritud Sünkroonsed/reaktiivsed keeled Et sünteesida efektiivseid rakendusi p3 algavad mudel Koosdisaini lõplikud olekumasinad
annaabi.ee 
