Combining modeling and fault detection in automated manufacturing systems based on hybrid petri net | IEEE Conference Publication | IEEE Xplore