Controlo de sistemas de transporte automático : projecto baseado em Redes de Petri orientadas por objectos - Ferreira, João Miguel de Castro (1999)