Describir: Multimediálny programový systém na podporu výučby Petriho sietí