The performance evaluation of systems and in particular their availability depends on the dysfunctional behaviors and maintenance policies of its subsystems and components. Our approach is based on automatic generation of large scale Petri Nets, which are colored, timed and hierarchical, from a meta-model leaning on atomic and elementary components of both French and European railway signalling systems whose behavior respects the specifications that are validated by a formal method. Metrics are defined for performance analysis from the design, operation and maintenance point of view.