Modeling and Fuzzy Control of Artery System Using Colored Hybrid Petri Nets | IEEE Conference Publication | IEEE Xplore