The model decomposition and iteration techniques in Stochastic Petri Nets (SPNs) are used to derive its approximate steady state solution, which is used to obtain...