A Formal Framework and a Tool to Process and Simulate Labelled Reconfigurable Nets Models Based on Graph Transformation. - Nardjes Dehimi; Raida Elmansouri; Allaoua Chaoui (NDT (2), 2012)