A divide and conquer approach for the performance evaluation of large stochastic Petri nets | IEEE Conference Publication | IEEE Xplore