摘要
Petri网既是一种图形化建模工具 ,又是一种形式化数学工具。Petri网具有对并发、并行、分布、异步系统进行验证仿真的能力。但是 ,Petri网是用来描述和分析要开发的系统模型的工具 ,不是计算机的实现工具 ,必须要通过一定的方法才能将Petri网用软件来实现。由于UML(统一建模语言 )具有友善的用户界面 ,易于编程实现 ,故提出一种利用UML作为过渡的Petri网软件实现方法。
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.
出处
《计算机应用》
CSCD
北大核心
2004年第9期132-135,共4页
journal of Computer Applications
