HiPS : Hierarchical Petri net Simulator:用于设计和分析分层Petri网的HiPS工具功能-开源

[{"title":"（ 37 个子文件 152.25MB ） HiPS : Hierarchical Petri net Simulator:用于设计和分析分层Petri网的HiPS工具功能-开源","children":[{"title":"HiPS_1.02.210319","children":[{"title":"VC_redist.x64.exe <span style='color:#111;'> 14.19MB </span>","children":null,"spread":false},{"title":"ndp48-web.exe <span style='color:#111;'> 1.41MB </span>","children":null,"spread":false},{"title":"model examples","children":[{"title":"HiPS1 sample models.zip <span style='color:#111;'> 10.50MB </span>","children":null,"spread":false}],"spread":true},{"title":"README.md <span style='color:#111;'> 2.68KB </span>","children":null,"spread":false},{"title":"ndp48-x86-x64-allos-enu.exe <span style='color:#111;'> 111.94MB </span>","children":null,"spread":false},{"title":"bin","children":[{"title":"ReactiveProperty.dll <span style='color:#111;'> 106.00KB </span>","children":null,"spread":false},{"title":"System.Windows.Interactivity.dll <span style='color:#111;'> 54.59KB </span>","children":null,"spread":false},{"title":"System.Numerics.Vectors.dll <span style='color:#111;'> 113.14KB </span>","children":null,"spread":false},{"title":"System.Runtime.CompilerServices.Unsafe.dll <span style='color:#111;'> 16.38KB </span>","children":null,"spread":false},{"title":"PetrinetTool.exe.config <span style='color:#111;'> 1.54KB </span>","children":null,"spread":false},{"title":"Google.Protobuf.dll <span style='color:#111;'> 380.48KB </span>","children":null,"spread":false},{"title":"MaterialDesignColors.dll <span style='color:#111;'> 295.00KB </span>","children":null,"spread":false},{"title":"PetrinetTool.exe <span style='color:#111;'> 1.00MB </span>","children":null,"spread":false},{"title":"System.Memory.dll <span style='color:#111;'> 137.88KB </span>","children":null,"spread":false},{"title":"System.Buffers.dll <span style='color:#111;'> 20.37KB </span>","children":null,"spread":false},{"title":"Google.OrTools.dll <span style='color:#111;'> 983.00KB </span>","children":null,"spread":false},{"title":"PNML.dll <span style='color:#111;'> 34.00KB </span>","children":null,"spread":false},{"title":"google-ortools-native.dll <span style='color:#111;'> 26.27MB </span>","children":null,"spread":false},{"title":"System.ComponentModel.Annotations.dll <span style='color:#111;'> 42.14KB </span>","children":null,"spread":false},{"title":"Lisys.dll <span style='color:#111;'> 54.50KB </span>","children":null,"spread":false},{"title":"PetrinetTool.application <span style='color:#111;'> 1.81KB </span>","children":null,"spread":false},{"title":"Dragablz.dll <span style='color:#111;'> 233.50KB </span>","children":null,"spread":false},{"title":"ReachabilityGraphGenerator.dll <span style='color:#111;'> 23.50KB </span>","children":null,"spread":false},{"title":"EngineCore.dll <span style='color:#111;'> 288.50KB </span>","children":null,"spread":false},{"title":"Microsoft.Xaml.Behaviors.dll <span style='color:#111;'> 141.88KB </span>","children":null,"spread":false},{"title":"System.Reactive.dll <span style='color:#111;'> 1.40MB </span>","children":null,"spread":false},{"title":"Prism.Wpf.dll <span style='color:#111;'> 129.41KB </span>","children":null,"spread":false},{"title":"PetrinetTool.exe.manifest <span style='color:#111;'> 20.70KB </span>","children":null,"spread":false},{"title":"MaterialDesignThemes.Wpf.dll <span style='color:#111;'> 7.79MB </span>","children":null,"spread":false},{"title":"ReactiveProperty.NET46.dll <span style='color:#111;'> 13.50KB </span>","children":null,"spread":false},{"title":"System.Threading.Tasks.Extensions.dll <span style='color:#111;'> 25.38KB </span>","children":null,"spread":false},{"title":"System.ValueTuple.dll <span style='color:#111;'> 24.64KB </span>","children":null,"spread":false},{"title":"tbb.dll <span style='color:#111;'> 391.88KB </span>","children":null,"spread":false},{"title":"Prism.dll <span style='color:#111;'> 87.41KB </span>","children":null,"spread":false}],"spread":false},{"title":"HiPS support tools","children":[{"title":"aut2bin.exe <span style='color:#111;'> 1.79MB </span>","children":null,"spread":false},{"title":"bin2aut.exe <span style='color:#111;'> 2.33MB </span>","children":null,"spread":false},{"title":"aut2dot.pl <span style='color:#111;'> 692B </span>","children":null,"spread":false}],"spread":true}],"spread":true}],"spread":true}]