Novel fault modelling and integration method were applied in the case
when the faultless operation of the system was modelled by a high-level,
coloured Petri net. In order to achieve realistic investigations, a timed
coloured Petri net model of the system was constructed, where faults can
occur in the manufacturing lines. The faultless and fault containing models
were implemented in CPNTools both for non-timed and timed cases. The
resulted model was investigated both via simulation and using the
occurrence graph. For efficient analysis of the occurrence graph a software
module called OGAnalyser was developed
