Describir: Programové spracovanie Petriho sietí