Redundant Information Analysis in a Decomposed Petri Net Model. - Marcos Da Silveira; Michel Combacau; Eduardo Portela (CIMCA/IAWTIC, 2005)