Game theory semantics for PCTL model checking label-extended probabilistic Petri net | IEEE Conference Publication | IEEE Xplore