您现在的位置是:源码地带 > 资源下载

模拟一个Petri网的行为:该程序应该读入一组转换规则

  • 上传时间: 2013-12-16
  • 上传用户:albert333
  • 资源积分:2 下载积分
  • 标      签: Petri 模拟 程序 转换

资 源 简 介

模拟一个Petri网的行为:该程序应该读入一组转换规则,以及一组状态列表,这些状态对应与网络链路层发出一个新的分组或者接受一个新的分组。初始状态也是要读入的。该程序应该从初始状态开始,随机地选取那些激活的转换,并激发这些转换,检查一下看是否有“一台主机接受了2个分组而另一台主机并没有在此期间发出新的分组”这样的情形。

相 关 资 源