模拟一个Petri网的行为:该程序应该读入一组转换规则,以及一组状态列表,这些状态对应与网络链路层发出一个新的分组或者接受一个新的分组。初始状态也是要读入的。该程序应该从初始状态开始,随机地选取那些激活的转换,并激发这些转换,检查一下看是否有“一台主机接受了2个分组而另一台主机并没有在此期间发出新的分组”这样的情形。
资源简介:模拟一个Petri网的行为:该程序应该读入一组转换规则,以及一组状态列表,这些状态对应与网络链路层发出一个新的分组或者接受一个新的分组。初始状态也是要读入的。该程序应该从初始状态开始,随机地选取那些激活的转换,并激发这些转换,检查一下看是否有“一...
上传时间: 2013-12-16
上传用户:qwe1234
资源简介:一个PETRI网的很好工具。我在教学中多次使用,效果很好(有密码可供使用)。
上传时间: 2014-01-25
上传用户:爱死爱死
资源简介:本程序是一个比较简单的通讯录 该程序可能比较有参考价值的地方 可能就是它用到了数据库的动太链接,和JPG图片的插入。
上传时间: 2013-12-21
上传用户:彭玖华
资源简介:一个很好的迷宫处理程序,方法独特值得一看!
上传时间: 2015-11-15
上传用户:qwe1234
资源简介:班级花名册维护 要求能够增加、删除、修改学生的信息。程序能够读入一个班级花名册或是自建一个班级花名册。对一个班级的任何学生的修改操作最后都应该反映在保存在硬盘上的班级名册中。
上传时间: 2017-09-27
上传用户:BOBOniu
资源简介:程序说明: 1.程序采用网上介绍的方法实现最基本的P2P方式通讯.模拟实现即时消息互发. 2.P2P通讯说明: 1).网关类型是在理想状态下.即非对称型NAT. 2).同在一个内网的两个CLIENT端通讯时,如果网关NAT不支持环回,将会失败. 文件目录说明: tQServer:程序...
上传时间: 2015-04-22
上传用户:气温达上千万的
资源简介:序采用网上介绍的方法实现最基本的P2P方式通讯.模拟实现即时消息互发. 2.P2P通讯说明: 1).网关类型是在理想状态下.即非对称型NAT. 2).同在一个内网的两个CLIENT端通讯时,如果网关NAT不支持环回,将会失败. 文件目录说明: tQServer:程序服务端,请将其放...
上传时间: 2014-08-05
上传用户:日光微澜
资源简介:一个查找java程序里bug的程序的源代码,该程序本身也是java写的,对提高java编程水平很有用
上传时间: 2015-03-16
上传用户:com1com2
资源简介:这是本人的作业 该程序是用C++语言在VC++6.0的环境下做的 非常好 解压后有执行结果 和一个加密的源文件感觉还可以的话发邮件给我索取密码邮箱是lijinhui2000@126.com
上传时间: 2014-01-17
上传用户:ayfeixiao
资源简介:目的是让大家熟悉输入、输出端口的使用 该程序的功能是把演示板当做一个按键计数器
上传时间: 2013-12-31
上传用户:6546544