模拟一个Petri网的行为:该程序应该读入一组转换规则,以及一组状态列表,这些状态对应与网络链路层发出一个新的分组或者接受一个新的分组。初始状态也是要读入的。该程序应该从初始状态开始,随机地选取那些激活的转换,并激发这些转换,检查一下看是否有“一台主机接受了2个分组而另一台主机并没有在此期间发出新的分组”这样的情形。
标签: Petri 模拟 程序 转换
上传时间: 2013-12-16
上传用户:qwe1234
电动自行车通用技术条件,GB117761-1999,本标准的技术内容包括整车的主要技术性能要求,整车的安全要求,整车的装配要求,整车的外观要求,整车道路行驶要求和说明书的要求
标签: 117761 1999 GB 电动自行车
上传时间: 2016-07-03
上传用户:czl10052678
模仿当当网的网上书城,包括用户注册,用户登录,购物车。
标签: 模
上传用户:guanliya
一个PETRI网的很好工具。我在教学中多次使用,效果很好(有密码可供使用)。
标签: PETRI
上传时间: 2014-01-25
上传用户:爱死爱死
动态的发现某个路由器的所有子网的拓扑结构
标签: 动态 发现 路由器 子网
上传时间: 2014-01-07
上传用户:jiahao131
DELAUNAY三角网的生成过程,比较详细
标签: DELAUNAY 过程
上传时间: 2016-07-12
上传用户:xyipie
asp+access bookShop2007购物网站的论文 包括一般购网的各种功能,便于各位做网站的参考
标签: bookShop access 2007 asp
上传时间: 2016-07-21
上传用户:zhichenglu
基于S3C2410的Smartphone系统设计 需要知网的浏览器
标签: Smartphone S3C2410 系统设计 浏览器
上传时间: 2016-07-23
上传用户:kristycreasy
基于三星ARMS3C2410的指纹识别系统 需要知网的浏览器
标签: ARMS3 C2410 ARMS 2410
上传时间: 2013-12-04
上传用户:独孤求源
校园网设计需求分析,是有关学校的校内网的设计的文章
标签: 校园网 分 校内网 设计需求
上传时间: 2014-12-05
上传用户:Zxcvbnm