https://1library.org/document/yr329mpy-modelagem-sistemas-eventos-discretos-utilizando-rede-petri-virtual.html