懂的人自然就明白,是一种类似系统验证的工具
Petri网基础可达性空间生成器 !! 下载注意:! 要下载该软件,请单击“ Petri Net Basis可达性空间生成器V1.0.1.exe”链接进入页面,然后单击“下载”(直接下载整个存储库的压
将面向对象的概念引入到Petri网 建模技术中,对网进行分类与抽象,给对象模型的消息和方法赋予新的含义,并将Petri网扩展成具有输入与输出的开放式系统,从而形成了面向对象的Petri网 建模技术(简
着色petri网工具cpn-tools2.02版本
java编写的下载工具可执行程序sun官网下载
自己写的压力测试工具,引入里面的jar包,实现一个接口类,new一个对像界面就出来,界面使用SWING,不需要任何依赖jar包,只要jdk1.6及以上,使用这个是为了免除loadrunner等一些工具
查询本机名和本机IP可根据域名查询网址IP
这是一款利用Java编写的文件加密工具,采用了多线程处理方式,测试结果表明,对2G文件进行加密和解密只需1分钟。该工具专为个人隐私文件的保护而设计。
EditPlusjava编写工具很方便,看视频中老师都用这个东西
本人用纯JAVA所局域网QQ。特别适合交作业。应有功能都有。只要输入对方IP地址。即可以使用。