MathMC: A Mathematica-Based Tool for CSL Model Checking of Deterministic and Stochastic Petri Nets | IEEE Conference Publication | IEEE Xplore