Optimum order time for a spare part inventory system modeled by a non-regenerative stochastic petri net