https://1library.org/document/zkw39r1z-metodo-para-modelagem-controle-usando-redes-petri-virtuais.html