Maintenance integration in a modular supervision framework based on Petri net with objects. Application to a robot-driven flexible cell | IEEE Conference Publication | IEEE Xplore