文件名称:SB_PetriNetsWithWeights
- 所属分类：
- C#编程
- 资源属性：
- [Windows] [Visual.Net] [源码]
- 上传时间：
- 2012-11-26
- 文件大小：
- 42kb
- 下载次数：
- 0次
- 提 供 者：
- p**
- 相关连接：
- 无
- 下载说明：
- 别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容均来自于网络，请自行研究使用
基于petri网进行服务行为验证算法，首先生成数据，然后进行服务行为的验证，最下面可以清空数据。-Service behavior based on petri nets to verify the algorithm, first of all generated data, then the verification service behavior, at the bottom to empty the data.
(系统自动生成,下载前可以参看下载内容)
下载文件列表
SB_PetriNetsWithWeights\SB_PetriNetsWithWeights\bin\Debug\SB_PetriNetsWithWeights.exe
.......................\.......................\...\.....\SB_PetriNetsWithWeights.pdb
.......................\.......................\...\.....\SB_PetriNetsWithWeights.vshost.exe
.......................\.......................\FormSB_PetriNetsWithWeights.cs
.......................\.......................\FormSB_PetriNetsWithWeights.Designer.cs
.......................\.......................\FormSB_PetriNetsWithWeights.resx
.......................\.......................\obj\Debug\SB_PetriNetsWithWeights.csproj.GenerateResource.Cache
.......................\.......................\...\.....\SB_PetriNetsWithWeights.exe
.......................\.......................\...\.....\SB_PetriNetsWithWeights.FormSB_PetriNetsWithWeights.resources
.......................\.......................\...\.....\SB_PetriNetsWithWeights.pdb
.......................\.......................\...\.....\SB_PetriNetsWithWeights.Properties.Resources.resources
.......................\.......................\...\SB_PetriNetsWithWeights.csproj.FileList.txt
.......................\.......................\PetriNets.cs
.......................\.......................\Program.cs
.......................\.......................\...perties\AssemblyInfo.cs
.......................\.......................\..........\Resources.Designer.cs
.......................\.......................\..........\Resources.resx
.......................\.......................\..........\Settings.Designer.cs
.......................\.......................\..........\Settings.settings
.......................\.......................\SB_PetriNetsWithWeights.csproj
.......................\SB_PetriNetsWithWeights.sln
.......................\SB_PetriNetsWithWeights.suo
.......................\.......................\obj\Debug\Refactor
.......................\.......................\...\.....\TempPE
.......................\.......................\bin\Debug
.......................\.......................\obj\Debug
.......................\.......................\bin
.......................\.......................\obj
.......................\.......................\Properties
.......................\SB_PetriNetsWithWeights
SB_PetriNetsWithWeights
.......................\.......................\...\.....\SB_PetriNetsWithWeights.pdb
.......................\.......................\...\.....\SB_PetriNetsWithWeights.vshost.exe
.......................\.......................\FormSB_PetriNetsWithWeights.cs
.......................\.......................\FormSB_PetriNetsWithWeights.Designer.cs
.......................\.......................\FormSB_PetriNetsWithWeights.resx
.......................\.......................\obj\Debug\SB_PetriNetsWithWeights.csproj.GenerateResource.Cache
.......................\.......................\...\.....\SB_PetriNetsWithWeights.exe
.......................\.......................\...\.....\SB_PetriNetsWithWeights.FormSB_PetriNetsWithWeights.resources
.......................\.......................\...\.....\SB_PetriNetsWithWeights.pdb
.......................\.......................\...\.....\SB_PetriNetsWithWeights.Properties.Resources.resources
.......................\.......................\...\SB_PetriNetsWithWeights.csproj.FileList.txt
.......................\.......................\PetriNets.cs
.......................\.......................\Program.cs
.......................\.......................\...perties\AssemblyInfo.cs
.......................\.......................\..........\Resources.Designer.cs
.......................\.......................\..........\Resources.resx
.......................\.......................\..........\Settings.Designer.cs
.......................\.......................\..........\Settings.settings
.......................\.......................\SB_PetriNetsWithWeights.csproj
.......................\SB_PetriNetsWithWeights.sln
.......................\SB_PetriNetsWithWeights.suo
.......................\.......................\obj\Debug\Refactor
.......................\.......................\...\.....\TempPE
.......................\.......................\bin\Debug
.......................\.......................\obj\Debug
.......................\.......................\bin
.......................\.......................\obj
.......................\.......................\Properties
.......................\SB_PetriNetsWithWeights
SB_PetriNetsWithWeights