Stochastic Petri Net Models for the Study of Macrophage Reprogramming | IEEE Conference Publication | IEEE Xplore