文件名称:Petri
- 所属分类:
- 其他小程序
- 资源属性:
- [Windows] [Visual.Net] [源码]
- 上传时间:
- 2012-11-26
- 文件大小:
- 47kb
- 下载次数:
- 0次
- 提 供 者:
- 秋*
- 相关连接:
- 无
- 下载说明:
- 别用迅雷下载,失败请重下,重下不扣分!
介绍说明--下载内容均来自于网络,请自行研究使用
模拟一个Petri网的行为:该程序应该读入一组转换规则,以及一组状态列表,这些状态对应与网络链路层发出一个新的分组或者接受一个新的分组。初始状态也是要读入的。该程序应该从初始状态开始,随机地选取那些激活的转换,并激发这些转换,检查一下看是否有“一台主机接受了2个分组而另一台主机并没有在此期间发出新的分组”这样的情形。-Simulation of the behavior of a Petri net: the program should be read into a set of transformation rules, as well as a group of state a list of these status corresponds with the network link layer sends a new packet or accept a new packet. Initial state is to read the. The program should be started from the initial state, randomly select those to activate the conversion, and inspire those conversions, check to see whether there is
(系统自动生成,下载前可以参看下载内容)
下载文件列表
Petri
.....\Petri
.....\.....\Petri
.....\.....\.....\bin
.....\.....\.....\...\Debug
.....\.....\.....\Form1.cs
.....\.....\.....\Form1.Designer.cs
.....\.....\.....\Form1.resx
.....\.....\.....\obj
.....\.....\.....\...\Debug
.....\.....\.....\...\Petri.csproj.FileList.txt
.....\.....\.....\...\PetriNet.csproj.FileList.txt
.....\.....\.....\Petri.csproj
.....\.....\.....\Program.cs
.....\.....\.....\Properties
.....\.....\.....\..........\AssemblyInfo.cs
.....\.....\.....\..........\Resources.Designer.cs
.....\.....\.....\..........\Resources.resx
.....\.....\.....\..........\Settings.Designer.cs
.....\.....\.....\..........\Settings.settings
.....\.....\Petri.sln
.....\Petri
.....\.....\Petri
.....\.....\.....\bin
.....\.....\.....\...\Debug
.....\.....\.....\Form1.cs
.....\.....\.....\Form1.Designer.cs
.....\.....\.....\Form1.resx
.....\.....\.....\obj
.....\.....\.....\...\Debug
.....\.....\.....\...\Petri.csproj.FileList.txt
.....\.....\.....\...\PetriNet.csproj.FileList.txt
.....\.....\.....\Petri.csproj
.....\.....\.....\Program.cs
.....\.....\.....\Properties
.....\.....\.....\..........\AssemblyInfo.cs
.....\.....\.....\..........\Resources.Designer.cs
.....\.....\.....\..........\Resources.resx
.....\.....\.....\..........\Settings.Designer.cs
.....\.....\.....\..........\Settings.settings
.....\.....\Petri.sln