Introduction - If you have any usage issues, please Google them yourself
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