An approach to state space reduction for systems with dynamic process creation | IEEE Conference Publication | IEEE Xplore