Maintenance chain integration using Petri-net enabled Prometheus MAS modeling methodology | IEEE Conference Publication | IEEE Xplore