Application of petri nets in the reliability analysis of a spallation neutron source - Badreddin, Essameddin (Probabilistic safety assessment and management ; Vol. 3, 2000)