Surgical scheduling based on Timed Coulored Petri Nets and (max, +) Algebra | IEEE Conference Publication | IEEE Xplore