● 摘要
MAS 是离散事件动态系统。虚拟企业的协作机制MAS系统是信息时代商业的一种模式，虚拟企业需要MAS理论进行描述、分析、控制与优化，虚拟企业也为MAS理论研究提供了实际应用背景。 Petri网是离散事件动态系统理论中的一个重要分支，利用Petri网研究MAS问题具有许多优点，特别是用于MAS的建模与分析，近年来受到极大的重视。Petri网具有指导性的图形描述能力和坚实的数学基础，是异步、并发系统建模、性能分析和控制综合的有力工具。 本文以时间Petri网为基础，研究了时间Petri网理论、随机Petri网理论以及在虚拟企业MAS中的建模方法及分析方法。内容及主要结果包括： 介绍了一种改良的时间Petri网模型-可变参数时间Petri网（CPTPN）的定义及其特征。CPTPN更加切合实际地为MAS系统建模、有效地降低可达状态爆炸的复杂性，同时，此模型能及时改变协作机制中的PN参数，以对市场与其它企业变化作出快速反应。运用CPTPN模型对虚拟企业协作机制进行建模。 概述了激发时间任意分布的SPN，提出了SPN概率密度函数的选择原则。提出并建立了MAS中请求协议和合同网协议的GSPN模型。 以宏源公司虚拟企业协作机制为对象，应用GSPN网建立了的协作模型，并利用Petri网的数学分析方法对交互协议进行了动态分析。