统一建模语言(UML)是对象管理集团(OMG)的标准，是一种用于对软件密集型系统以及商业建模和非软件系统进行可视化、详述、构造和文档化的建模语言，主要适用于分析与设计阶段的系统建模。UML最主要的优点是表达软件系统的能力强、效率高。但UML的缺点是难以直接用数学工具对UML模型进行检验，另外UML在语义方面也存在一些不足。 作为软件系统建模的工具，Petri网的优点是：可以对一个系统的并发、同步行为以及资源共享建摸，而且有许多与Petri网相关联的对Petri网模型进行检测和行为分析的理论结果。Petri网的缺点是：开发者不容易绘制(特别是对于复杂系统的)Petri网图，并在对对象及对象间的关系建模时存在困难。 对复杂的并发系统进行有效建模要求有一套形式化体系，由它能获取系统的本质特性，如不确定性、同步性和并发性。Petri网提供一套清楚的具有并发性的形式化体系，但是缺乏彻底模块化的技术。而面向对象方法对高度可重用的和模块化的系统提供形式化体系，但是缺乏整体并发特性。于是许多人努力将Petri网和面向对象概念结合起来，以扬长避短，发挥各自的优势，形成一种更有效的软件建模技术。进一步深入的研究提出将UML与Petri网结合建模的解决方法是：用户先使用UML建模，然后将其转换为Petri网来验证。 在本文中，我们设计并讨论一个从UML动念模型到Petri网映射的实例，以获得一种灵活的、可定制的PBMUM方法(即基于Petri网的UML模型映射与验证方法)，去推断面向对象模型的动态方面的一些特性，并分析该模型的特定部分。本文提出的PBMUM方法的基本思想是采用与UML具有同等功能的Petri网的形式化语义规则去描述UML的主要元素。