Francesca Cairoli, Gianfranco Fenu, Felice Andrea Pellegrino: Clinical Decision Support Using Colored Petri Nets: a Case Study on Cancer Infusion Therapy. CoDIT 2019: 314-319