Distributed cooperative systems meta-model for maintenance using Petri nets and multi-agent systems | IEEE Conference Publication | IEEE Xplore