Llorens, M.; Oliver, J. A Basic Tool for the Modeling of Marked-Controlled Reconfigurable Petri Nets. ECEASST 2007, 2.