Single and replicated simulations for colored Petri Nets nondeterministic network | IEEE Conference Publication | IEEE Xplore