State Estimation of Petri Nets by Transformation | IEEE Conference Publication | IEEE Xplore