Search for: [Abstract = "Based on the assumption that some of the system shared resources may be substituted by others, e.g. in case of their damage, a fault\-tolerant recovery procedure aimed at the reprogramming of Petri net\-based control software is provided. This procedure guarantees the fault\-tolerant operation of real\-time controlled systems. The formal description of modelling procedures is described in details."]