系统建模主要是对目标系统的结构、行为、功能和性能等特征的抽象描述,以突出其主要因素,忽略次要因素,所得系统模型可以作为最终用户、系统分析员与实现人员之间交流和协商的桥梁,也是以后对系统维护的重要依据。Agent作为一种新的软件开发范型,其应用领域正逐步扩大,但其优势并没有在应用中得到很好地展现,主要原因是缺少成熟的开发方法和建模工具。本文提出了面向对象代数Petri网模型OOAPN,并对该模型进行了深入研究。把多类别代数技术、Petri网模型、结构化原理、面向对象技术和方法有机地集成在一起,统一了现有的部分高级Petri类,详细地阐述了OOAPN模型的面向对象形式化表现能力和OOAPN模型的形式化分析技术。在总结现有软件工程方法的基础上,给出了基于OOAPN模型的复杂系统建模和分析方法,并把OOAPN模型应用于多Agent系统建模;建立了基于OOAPN模型的多Agent系统的体系结构,给出基于OOAPN模型的Agent结构,从微观和宏观两个层面对多Agent系统进行了深入研究。解决了多Agent系统中Agent之间的协调问题,建立了以事件驱动程序为框架、用Petri网作为事件处理器的多任务动态调度体系结构,给出了基于事件驱动的多Agent协调的智能调度算法。提出了基于OOAPN模型的多Agent系统的分析方法和建模步骤,通过实例说明了该方法的可行性。