@inproceedings {IPGiJuSe03, title = {Marking Estimation of Petri Nets based on Partial Observation}, year = {2003}, pages = {-}, author = {A. Giua and J. Julvez and C. Seatzu} }