Modeling and analysis of the signaling crosstalk of PI3K, AMPK and MAPK with Timed Hybrid Petri Nets approach | IEEE Conference Publication | IEEE Xplore