Throughput lower bounds for Markovian Petri nets: transformation techniques | Publicación