Approximate throughput computation of stochastic marked graphs | Publicación