Modelagem funcional de sistemas de eventos discretos por redes de petri - Lima Junior, N S; Miyagi, Paulo Eigi (Congresso de Iniciacao Cientifica e Tecnologica em Engenharia, 1989)