Describir: Návrh a realizácia virtuálnych modelov pre potreby predmetu programovateľné logické automaty