O presente trabalho tem como objetivo o desenvolvimento de uma ferramenta didática, denominada PetriFact, capaz de modelar Redes de Petri e, a partir do modelo gerado, controlar um dado sistema flexível de manufatura. Esse ...