https://1library.org/document/zp0pl80q-especificacao-verificacao-formal-modelo-sti-redes-petri-coloridas.html