TI - Sistema computacional de representação e manipulação de redes de Petri PY - 2006 AU - Alves, Gustavo Ribeiro AU - Santos Filho, Diolino Jose dos UR - https://www.teses.usp.br/teses/disponiveis/3/3152/tde-20092023-100504/ PP - São Paulo ER -