@inproceedings {IPCaGiMaReSeSi07, title = {State Estimation of Petri Nets by Transformation}, year = {2007}, month = {9}, pages = {194-199}, author = {M.P. Cabasino and A. Giua and Mahulea, Cristian and L. Recalde and C. Seatzu and M. Silva} }