Methodology for automated Petri Net model generation to support Reliability Modelling