https://1library.org/br/docs/redes-de-petri.19330841