Petri Nets and Autonomous Systems: A Case Study. - Guilherme E. Leite; Norian Marranghello; Aledir Silveira Pereira (ETFA, 2009)