Petri nets compositional modeling and verification of Flexible Manufacturing Systems. - Ballarini, Paolo; Djafri, Hilal; Duflot, Marie; Haddad, Serge; Pekergin, Nihal (2011)