palavras-chave Availability Energy resources Internet of Things (IoT) Smart hospital Stochastic Petri Net energy resources smart hospital stochastic Petri net