Reconfigurable GSPNs: a modeling formalism of evolvable discrete-event systems