可变Petri网的可视化工具开发  

The Visual Tool Development of Variable Petri Net

作　　者：崔璞文 CUI Puwen(College of Electronic and Information Engineering,Tongji University,Shanghai,China,200092)

机构地区：[1]同济大学电子与信息工程学院,上海200092

出　　处：《福建电脑》2019年第4期113-114,共2页Journal of Fujian Computer

摘　　要：可变Petri网是一种能够描述系统动态交互的Petri网,非常适于建模与分析移动计算系统。本文主要介绍可变Petri网的可视化分析原型工具。工具采用Java语言进行编写,可对可变Petri网进行性质分析,极大地提高了分析效率。

关 键 词：可变Petri网 移动计算系统 可视化工具 JAVA开发 

分 类 号：TP399[自动化与计算机技术—计算机应用技术]