Petri nets are very appropriate for modelling and analysis of different systems. In this paper, examples of repairable and irreparable systems modelled using Petri nets have been given. Systems with cold and hot redundancy have been analyzed, also. The redundancy is illustrated using the example of the electric power system.