Colored Petri nets state-space reduction via symbolic execution | IEEE Conference Publication | IEEE Xplore