ČIČÁK, PAVEL. Microprogram Control Unit Design by Means of Petri Nets. In: .