面向对象方法具有可重用、易维护、稳定性好等特点,它提供了抽象的封装、多态以及继承机制,面对庞大而复杂的系统描述提供了更有效的简化手段,可有效的提高系统的开发效率.Petri网作为一种形式化的数学工具,能简洁地描述系统的动态特性(如并发、同步、冲突等)和系统中的资源及约束条件,并有相应的分析方法(可达树分析、不变量分析),而且Petri网是一种图形工具,易于理解和描述.因此,论文设想将面向对象和Petri网结合,利用它们各自的优点,建立一种更有效的系统动态建模和分析工具.沿着这条思路,该文致力于解决以下几个问题:1)设计了面向对象Petri网方法动态描述规则.2)将Petri并发的概念引入到面向对象中来.在面向对象Petri网引入步的概念,以描述对象间的并发或顺序关系.3)讨论面向对象Petri网中的继承现象,并设计一套规则来避免并发与继承不兼容的问题.4)将功能确定的并发系统的Petri网建模方法移入到Petri网对象建模中,在实际应用问题和面向对象Petri网模型间架起了一座桥梁.构造由对象的概念模型到Petri网模型的转换算法,克服对象建模中的盲目性和复杂性,给系统建模提供了有效的规范.5)应用Petri网的进程分析手段,给出进程的求取算法,并应用到面向对象Petri网中,解析系统的动态行为,避免死锁,加强系统的公平性和安全性.该文提出了一种混合设计方法.首先,采用自上而下的方法,层层分解系统的功能,具体而言,是采用面向对象的方法建立系统的抽象模型;然后在抽象模型基础上,引入功能确定的离散并发建模方法建立每个对象的Petri网细节.在建模结束后,利用Petri网的分析手段,包括不变量、进程和可达树等方法,分析系统的公平、并发、死锁等特性,达到对系统对资源的流动、动态行为清晰描述的目的.利用该文的理论基础,论文给出了软件工程建模的具体实例-电梯系统,验证了该文的方法是有效、可行的.