Throughput upper bounds for Markovian Petri nets: embedded subnets and queueing networks | IEEE Conference Publication | IEEE Xplore