State Estimation of Petri Nets by Transformation