Distributed cooperation modeling for maintenance using Petri nets and multi-agents systems | IEEE Conference Publication | IEEE Xplore