Describir: Digitalizované výrobné procesy s podporou Petriho sietí /