Revised Petri net: Probabilistic approach | IEEE Conference Publication | IEEE Xplore