Rza Bashirov Fabrice Kordon Hüseyin Lort Exploiting colored Petri nets to decide on permutation admissibility. 43-55 2009 46 Acta Inf. 1 http://dx.doi.org/10.1007/s00236-008-0084-1 db/journals/acta/acta46.html#BashirovKL09