Gravar-mail: Contributions of Petri Nets to the Reliability and Availability of an Electrical Power System in a Big European Hospital - A Case Study