中文摘要：

运用多Agent系统实现分布、自治的网络管理是构造下一代网络管理系统的一条全新思路。然而,大多数基于多Agent系统的网管模型均采用非形式化的方法进行描述,容易造成人们对模型理解的歧义性和在系统开发过程中的随意性。一种利用有色Petri网对分布式网络管理模型进行形式化建模的方法被提出。利用该方法所建立的形式化模型,能够对分布式网管模型中多Agent系统的组成结构和运行机制进行全面刻画,能够描述模型中用到的Agent的各种特性。

英文摘要：

Applying the multi-agent system to network management is a novel train of thought of constructing the new generation network management system. However, most of the network management models based on multi-agent system are described by the informal method, which leads the different meanings and the arbitrariness that the people understand the models and develop the systems. A method modeling the distributed network management model using Colored Petri Net is presented. This method can roundly depict the architecture and the operation mechanism of the multi-agent system in the distributed network management model and describe the various characteristics of the agent.