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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社