论文部分内容阅读
Petri网既是一种图形化建模工具 ,又是一种形式化数学工具。Petri网具有对并发、并行、分布、异步系统进行验证仿真的能力。但是 ,Petri网是用来描述和分析要开发的系统模型的工具 ,不是计算机的实现工具 ,必须要通过一定的方法才能将Petri网用软件来实现。由于UML(统一建模语言 )具有友善的用户界面 ,易于编程实现 ,故提出一种利用UML作为过渡的Petri网软件实现方法。