| 一种利用UML的Petri网软件实现方法 |
| |
| 引用本文： | 方丁,郝东,林琳.一种利用UML的Petri网软件实现方法[J].计算机应用,2004,24(9):132-135. |
| |
| 作者姓名： | 方丁 郝东 林琳 |
| |
| 作者单位： | 国家高性能计算中心,同济分中心,上海,200092;同济大学,计算机科学与工程系,上海,200092 |
| |
| 摘 要： | Petri网既是一种图形化建模工具，又是一种形式化数学工具。Petri网具有对并发、并行、分布、异步系统进行验证仿真的能力。但是，Petri网是用来描述和分析要开发的系统模型的工具。不是计算机的实现工具，必须要通过一定的方法才能将Petri网用软件来实现。由于UML(统一建模语言)具有友善的用户界面，易于编程实现，故提出一种利用UML作为过渡的Petri网软件实现方法。
|
| 关 键 词： | Petri网 UML 软件工程 |
| 文章编号： | 1001-9081(2004)09-0132-004 |
Methodology for implementing Petri Nets with UML |
| |
| FANG Ding.Methodology for implementing Petri Nets with UML[J].journal of Computer Applications,2004,24(9):132-135. |
| |
| Authors: | FANG Ding |
| |
| Abstract: | Petri Nets is a graphical modeling tool and also a formal mathematic tool. Petri Nets have the ability of validation and simulation to concurrent, parallel, distributed and asynchronous systems. However,Petri Nets is not a programming tool, but a tool which is used to describe and analyze the system model. Thus, there must be some methods to map Petri Nets to program. UML(Unified Modeling Language) has friendly user interface, is easy to be implemented by program, and can be used to program Petri Nets. |
| |
| Keywords: | Petri Nets UML software engineering |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
