Designing software for operational decision support through coloured Petri nets. - Maggi, F.M.; Westergaard, M. (Enterprise Information Systems, 2017)