Approximate mean value analysis technique for non-product form solution stochastic Petri nets: an application to stochastic marked graphs | IEEE Conference Publication | IEEE Xplore