[en] A STUDY ON COLORED PETRI NETS AND A PROGRAM TO ANALYZE COLORED PETRI NETS: ANARCO - GIOVANNI CORDEIRO BARROSO (2009)