Exploiting colored Petri nets to decide on permutation admissibility. - Rza Bashirov; Fabrice Kordon; Hüseyin Lort (Acta Informatica, 2009)