文件名称:Petri
-
所属分类：
- 标签属性：
- 上传时间：2008-10-13
-
文件大小：15.25kb
-
已下载：0次
-
提 供 者：
-
相关连接：无下载说明：别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容来自于网络，使用问题请自行百度
模拟一个Petri网的行为:该程序应该读入一组转换规则，以及一组状态列表，这些状态对应与网络链路层发出一个新的分组或者接受一个新的分组。初始状态也是要读入的。该程序应该从初始状态开始，随机地选取那些激活的转换，并激发这些转换，检查一下看是否有“一台主机接受了2个分组而另一台主机并没有在此期间发出新的分组”这样的情形。
(系统自动生成,下载前可以参看下载内容)
下载文件列表
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
www.dssz.com.txt
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
www.dssz.com.txt
本网站为编程资源及源代码搜集、介绍的搜索网站，版权归原作者所有！ 粤ICP备11031372号
1999-2046 搜珍网 All Rights Reserved.