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