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

详细信息    查看全文 | 推荐本文 |

	英文篇名：The Visual Tool Development of Variable Petri Net 作者：崔璞文 英文作者：CUI Puwen;College of Electronic and Information Engineering, Tongji University; 关键词：可变Petri网 ; 移动计算系统 ; 可视化工具 ; Java开发 中文刊名：FJDN 英文刊名：Journal of Fujian Computer 机构：同济大学电子与信息工程学院; 出版日期：2019-04-25 出版单位：福建电脑 年：2019 期：v.35 语种：中文; 页：FJDN201904042 页数：2 CN：04 ISSN：35-1115/TP 分类号：117-118

摘要

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

引文

[1]李磊.面向服务计算的若干关键技术研究[博士学位论文].中国科学技术大学,合肥,2008
    [2]Forman G H,Zahorjan J.The challenges of mobile computing.IEEEComputer,1994,27(4):38-47
    [3]吴哲辉.Petri网导论.北京:机械工业出版社,2006
    [4]Westergaard M.CPN Tools 4:Multi-formalism and Extensibility[C]//International Conference on Application&Theory of Petri Nets&Concurrency.Springer-Verlag,2013
    [5]Dingle N J,Knottenbelt W J,Suto T.PIPE2:A tool for the performance evaluation of generalised stochastic Petri Nets.ACM SIGMETRICSPerformance Evaluation Review,2009,36(4):34-39