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

作者：崔璞文^*

来源：福建电脑, 2019, 35(04): 113-114.

DOI：10.16707/j.cnki.fjpc.2019.04.041

• 可变Petri网
• 移动计算系统
• 可视化工具
• Java开发

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

• 出版日期2019
• 单位同济大学