Design and Animation of Coloured Petri Nets Models .. - Perkusich, de.. (1999)(Correct)
of Coloured Petri Nets Models for Trac Signals Angelo Perkusich y Luciana M. de Arajo z Roberta
of Coloured Petri Nets Models for Traffic Signals Angelo Perkusich, Luciana M. de Araújo, Roberta labpetri.dsc.ufpb.br:/pub/publications/labpetri/1999/wdcpn99.ps.gz