CPN Tools具有增量语法检查和代码生成功能,可在网络构建时进行。 一个快速模拟器可以有效地处理不定时和定时的网络。 可以生成和分析完整和部分状态空间,并且标准状态空间报告包含信息,例如有界性和活性属性。
CPN Tools比较初由2000至2010年在奥胡斯大学的CPN Group开发。该工具背后的主要架构师是Kurt Jensen,S?ren Christensen,Lars M. Kristensen和Michael Westergaard。 从2010年秋季开始,CPN Tools被转移到荷兰埃因霍温科技大学的AIS小组。
使用说明
n you are ready to continue. The installer could not find a valid Java(tm) on this machine. Click on a component to get detailed description
Supported versions:
Vendor : Any min. 1.6 max. any
看到这个提示说明你的电脑没有安装JAVA运行环境,请点击链接(http://www.jisuxz.com/down/31504.html)进行下载。
官方网站:http://cpntools.org/
相关搜索:Petri