https://1library.org/document/lq534e7z-modelagem-analise-servicos-saude-baseados-redes-petri-interpretadas.html