Research on equipment supportability assessment based on agent-oriented colored petri nets | IEEE Conference Publication | IEEE Xplore