Exploiting colored Petri nets to decide on permutation admissibility

Rza Bashirov, Fabrice Kordon, Hüseyin Lort. Exploiting colored Petri nets to decide on permutation admissibility. Acta Informatica, 46(1):43-55, 2009. [doi]

Abstract

Abstract is missing.