CDN加速镜像 | 设为首页 | 加入收藏夹
登陆 | 会员注册
当前位置： 首页 资源下载 源码下载 Windows编程 界面编程 其它 搜索资源 - petri

搜索资源列表

  1. PIPE

    0下载：
  2. Petri网分析工具PIPE is open-source

  3. 所属分类：其它

    • 发布日期：2008-10-13
    • 文件大小：1.38mb
    • 提供者：刘耀明

  1. Petri

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

  3. 所属分类：其它

    • 发布日期：2008-10-13
    • 文件大小：15.25kb
    • 提供者：秋婷

  1. ex641

    0下载：
  2. petri网使用工具，PERTRI教学使用，清晰明了。是学习PETRI网的很好工具。

  3. 所属分类：其它

    • 发布日期：2008-10-13
    • 文件大小：9.16mb
    • 提供者：zll

  1. ex641-1

    0下载：
  2. 一个PETRI网的很好工具。我在教学中多次使用，效果很好（有密码可供使用）。

  3. 所属分类：其它

    • 发布日期：2008-10-13
    • 文件大小：9.16mb
    • 提供者：zll
搜珍网 www.dssz.com