文件名称:Petri
- 所属分类：
- 其它
- 资源属性：
- [Windows] [Visual.Net] [源码]
- 上传时间：
- 2008-10-13
- 文件大小：
- 15.25kb
- 下载次数：
- 0次
- 提 供 者：
- 秋*
- 相关连接：
- 无
- 下载说明：
- 别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容均来自于网络，请自行研究使用
模拟一个Petri网的行为:该程序应该读入一组转换规则，以及一组状态列表，这些状态对应与网络链路层发出一个新的分组或者接受一个新的分组。初始状态也是要读入的。该程序应该从初始状态开始，随机地选取那些激活的转换，并激发这些转换，检查一下看是否有“一台主机接受了2个分组而另一台主机并没有在此期间发出新的分组”这样的情形。
(系统自动生成,下载前可以参看下载内容)
下载文件列表
压缩包 : 103244863petri.rar 列表 Petri\Petri\Petri\Form1.cs Petri\Petri\Petri\Form1.Designer.cs Petri\Petri\Petri\Form1.resx Petri\Petri\Petri\obj\Petri.csproj.FileList.txt Petri\Petri\Petri\obj\PetriNet.csproj.FileList.txt Petri\Petri\Petri\Petri.csproj Petri\Petri\Petri\Program.cs Petri\Petri\Petri\Properties\AssemblyInfo.cs Petri\Petri\Petri\Properties\Resources.Designer.cs Petri\Petri\Petri\Properties\Resources.resx Petri\Petri\Petri\Properties\Settings.Designer.cs Petri\Petri\Petri\Properties\Settings.settings Petri\Petri\Petri.sln Petri\Petri\Petri.suo Petri\Petri\Petri\bin\Debug Petri\Petri\Petri\obj\Debug Petri\Petri\Petri\bin Petri\Petri\Petri\obj Petri\Petri\Petri\Properties Petri\Petri\Petri Petri\Petri Petri