Enriching the formalism of coloured Petri nets for modelling alternative structural configurations of a discrete event system: disjunctive CPN | Publicación