Maintenance integration in a control-monitoring architecture based on Petri net with objects. Application to a flexible manufacturing system | IEEE Conference Publication | IEEE Xplore