Throughput lower bounds for Markovian Petri nets: transformation techniques | IEEE Conference Publication | IEEE Xplore