CPN Tools

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[InstallDir_ChannelDir]31504.html）进行下载。