Contributions of Petri Nets to the Reliability and Availability of an Electrical Power System in a Big European Hospital - A Case Study - Pinto, Constâncio António (2021)