计算机科学 ›› 2014, Vol. 41 ›› Issue (7): 97-101.doi: 10.11896/j.issn.1002-137X.2014.07.019
万军,赵不贿,陆继远
WAN Jun,ZHAO Bu-hui and LU Ji-yuan
摘要: 自控网系统是一类具有非线性关系和强大建模能力的Petri网。应用可视化编程平台Visual Studio .NET开发了自控网系统建模工具CyberNetTool。用户可在交互方式下建立自控网系统模型,并采用PNML格式文件来存储模型。构造了软件核心类,以实现界面控件管理和模型分析,详细描述了自控网系统各性质分析模块和动态仿真模块的实现算法。最后通过具体应用实例表明了该工具的正确性和实用性。
[1] 谭丹.Petri网仿真软件的研究与开发[D].长沙:长沙理工大学,2007 [2] 张建朝,刘振娟,李宏光.Petri网图形建模仿真系统的研究与开发 [J].北京化工大学学报,2004,1(2):100-103 [3] 潘熙坤,李彤,柳青.一种Petri网层次模型建模工具的设计与实现[J].计算机应用与软件,2008,5(8):33-35 [4] 朱晓玲.Petri网仿真平台的研究与实现[D].南京:东南大学,2008 [5] 袁崇义.Petri网原理与应用[M].北京:电子工业出版社,2005:104-106 [6] 陆继远,唐平,赵不贿.自控网系统的仿真分析与硬件实现的研究[J].微计算机信息,2005(7):133-135 [7] Jonathan B,Soren C.The Petri Net Markup Language:Con-cepts,Technology,and Tools[C]∥Proceedings in Applications and Theory of Petri Nets 2003,4th International Conference,2003.Berlin:Springer-Verlag,2003:1023-1024 [8] 周建涛,海晓军.WF-net模型到PNML的转换方法研究与实现[J].计算机科学,2010,37(12):96-98,5 [9] Kindler E.The ePNK:An Extensible Petri Net Tool for PNML[C]∥ 32nd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency,PETRI NETS.Berlin:Springer-Verlag,2011:318-327 [10] Heiner M,Herajy M,Liu Fei,et al.Snoopy-A unifying Petri net tool[C]∥33rd International Conference,PETRI NETS 2012.Berlin:Springer-Verlag,2012:398-407 [11] 赵明峰,宋文,杨松.基于自控网系统的批处理建模及分析[J].西华大学学报:自然科学版,2006,5(4):24-26 |
No related articles found! |
|