ICCPN: Interval-based Conditional Colored Petri Net | IEEE Conference Publication | IEEE Xplore