Numerical Simulations of Coronary Artery Diseases Using a Differential Hybrid Petri Net Model of the Cardiovascular System | IEEE Conference Publication | IEEE Xplore