Colored Petri nets for multiscale systems biology - Current modeling and analysis capabilities in snoopy | IEEE Conference Publication | IEEE Xplore