Desenvolver uma rede de petri com lugar, trancsção, ficha...