On the optimal allocation of resources in stochastic workflow nets · Study