Probabilistic Petri Net and its Logical Semantics | IEEE Conference Publication | IEEE Xplore