Monitoring manufacturing systems by means of Petri nets with imprecise markings | IEEE Conference Publication | IEEE Xplore