Clinical Decision Support Using Colored Petri Nets: a Case Study on Cancer Infusion Therapy | IEEE Conference Publication | IEEE Xplore