Reachability Analysis of P-time Petri Nets with Parametric Markings | IEEE Conference Publication | IEEE Xplore