Describir: Diagnostický systém na báze Petriho sieti :