Stochastic Petri Nets For Knowledge Representation And Reasoning | IEEE Conference Publication | IEEE Xplore