https://1library.org/document/yj7n6vm5-modelagem-processo-especificação-equipamentos-telecomunicações-utilizando-redes-petri.html