一种利用UML的Petri网软件实现方法

被引：8

作者：

方丁

郝东

林琳

机构：

[1] 国家高性能计算中心同济分中心

[2] 国家高性能计算中心同济分中心上海同济大学计算机科学与工程系

[3] 上海

[4] 上海同济大学计算机科学与工程系

来源：

计算机应用 | 2004年 / 09期

关键词：

Petri网; UML; 软件工程;

D O I：

暂无

中图分类号：

TP311.11 [];

学科分类号：

081202 ; 0835 ;

摘要：

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

引用

页码：132 / 135

页数：4