关键词: 模型库管理系统, Petri网, 模型库, 决策支持系统

Abstract: Due to the changes of the decision-making environment，the models in MBMS are constantly being developed and increased at different times，at the same time the complexity of decision-making leads to the diversity of models，the diversity of models brings many complex problems in model representation and model management.So the overall relationship and redundancy between models is difficult to master.The paper extends the definition of PN to express the relationship between the various models in MBMS and states the automatic mapping algorithm，PN is useful for decision-makers to find the conflict and redundancy between models.The paper also implements a backward reasoning algorithm to find the decision-making path based on PN from the decision-making objectives.The algorithm reduces the difficulty of using DSS effectively.

Key words: Model Base Manager System（MBMS）, Petri net, Model Base（MB）, Decision Support System（DSS）