Réseaux de Petri et algorithmes. Volume 28, numéro 9. - Hermes, 2009. - ( RSTI série TSI - Technique et Science Informatique ).