petri-net-editor:简约的Petri网络编辑器

上传者: 42169971 | 上传时间: 2022-11-02 14:42:40 | 文件大小: 1.05MB | 文件类型: ZIP
Petri Net编辑器 能够进行简单结构分析的极简Petri网络编辑器。 它可以在Petri网中找到电路,手柄和桥(如)。 您可以添加,删除和连接节点,添加令牌和触发转换,导出网络并以XML分解结果。 用鼠标左键移动节点,用右键选择。 自动网络布局基于。 免责声明 该应用程序于2015年被编写为大学项目。我不对其进行更新或维护。 建造 在Visual Studio中打开.sln文件,然后选择“构建-生成解决方案” 。 生成的.exe文件将在NetEditor/bin/Debug (或NetEditor/bin/Release )下生成。 屏幕截图

文件下载

资源详情

[{"title":"( 81 个子文件 1.05MB ) petri-net-editor:简约的Petri网络编辑器","children":[{"title":"petri-net-editor-master","children":[{"title":"PetriNetEditor.sln.DotSettings <span style='color:#111;'> 455B </span>","children":null,"spread":false},{"title":"PetriNetLib","children":[{"title":"Algorithms","children":[{"title":"HandlesFindingAlgorithm.cs <span style='color:#111;'> 2.33KB </span>","children":null,"spread":false},{"title":"JohnsonCircuitsAlgorithm.cs <span style='color:#111;'> 4.75KB </span>","children":null,"spread":false},{"title":"KosarajuAlgorithm.cs <span style='color:#111;'> 4.13KB </span>","children":null,"spread":false}],"spread":true},{"title":"Properties","children":[{"title":"AssemblyInfo.cs <span style='color:#111;'> 1.37KB </span>","children":null,"spread":false}],"spread":true},{"title":"Exceptions","children":[{"title":"NetSystemXmlException.cs <span style='color:#111;'> 448B </span>","children":null,"spread":false},{"title":"NetMarkingXmlException.cs <span style='color:#111;'> 455B </span>","children":null,"spread":false}],"spread":true},{"title":"PetriNetLib.csproj <span style='color:#111;'> 3.36KB </span>","children":null,"spread":false},{"title":"NetStructure","children":[{"title":"Node.cs <span style='color:#111;'> 1.36KB </span>","children":null,"spread":false},{"title":"Transition.cs <span style='color:#111;'> 2.37KB </span>","children":null,"spread":false},{"title":"ArcTP.cs <span style='color:#111;'> 1.41KB </span>","children":null,"spread":false},{"title":"ArcPT.cs <span style='color:#111;'> 1.41KB </span>","children":null,"spread":false},{"title":"Element.cs <span style='color:#111;'> 581B </span>","children":null,"spread":false},{"title":"Net.cs <span style='color:#111;'> 16.19KB </span>","children":null,"spread":false},{"title":"Place.cs <span style='color:#111;'> 2.38KB </span>","children":null,"spread":false},{"title":"IDeepCloneable.cs <span style='color:#111;'> 199B </span>","children":null,"spread":false},{"title":"Arc.cs <span style='color:#111;'> 1.89KB </span>","children":null,"spread":false}],"spread":true}],"spread":true},{"title":".gitignore <span style='color:#111;'> 3.74KB </span>","children":null,"spread":false},{"title":"Screenshots","children":[{"title":"main-window.png <span style='color:#111;'> 153.55KB </span>","children":null,"spread":false}],"spread":true},{"title":"README.md <span style='color:#111;'> 928B </span>","children":null,"spread":false},{"title":"LICENSE <span style='color:#111;'> 1.04KB </span>","children":null,"spread":false},{"title":".gitattributes <span style='color:#111;'> 2.46KB </span>","children":null,"spread":false},{"title":"NetEditor","children":[{"title":"AboutWindow.xaml.cs <span style='color:#111;'> 546B </span>","children":null,"spread":false},{"title":"Algorithms","children":[{"title":"ForceBasedAlgorithm.cs <span style='color:#111;'> 9.68KB </span>","children":null,"spread":false},{"title":"ConnectedComponents.cs <span style='color:#111;'> 1.74KB </span>","children":null,"spread":false},{"title":"Vector.cs <span style='color:#111;'> 2.21KB </span>","children":null,"spread":false}],"spread":true},{"title":"MainWindow.xaml <span style='color:#111;'> 41.39KB </span>","children":null,"spread":false},{"title":"Properties","children":[{"title":"Resources.Designer.cs <span style='color:#111;'> 2.67KB </span>","children":null,"spread":false},{"title":"Settings.settings <span style='color:#111;'> 195B </span>","children":null,"spread":false},{"title":"Resources.resx <span style='color:#111;'> 5.37KB </span>","children":null,"spread":false},{"title":"Settings.Designer.cs <span style='color:#111;'> 1.02KB </span>","children":null,"spread":false},{"title":"Annotations.cs <span style='color:#111;'> 23.20KB </span>","children":null,"spread":false},{"title":"AssemblyInfo.cs <span style='color:#111;'> 2.17KB </span>","children":null,"spread":false}],"spread":true},{"title":"ViewModels","children":[{"title":"LogViewModel.cs <span style='color:#111;'> 1.81KB </span>","children":null,"spread":false},{"title":"HandleViewModel.cs <span style='color:#111;'> 2.36KB </span>","children":null,"spread":false},{"title":"ArcViewModel.cs <span style='color:#111;'> 7.65KB </span>","children":null,"spread":false},{"title":"NetViewModel.cs <span style='color:#111;'> 32.09KB </span>","children":null,"spread":false},{"title":"TransitionViewModel.cs <span style='color:#111;'> 623B </span>","children":null,"spread":false},{"title":"MainViewModel.cs <span style='color:#111;'> 2.03KB </span>","children":null,"spread":false},{"title":"CircuitViewModel.cs <span style='color:#111;'> 1.12KB </span>","children":null,"spread":false},{"title":"NodeViewModel.cs <span style='color:#111;'> 6.55KB </span>","children":null,"spread":false},{"title":"ComponentViewModel.cs <span style='color:#111;'> 1.15KB </span>","children":null,"spread":false},{"title":"SubnetViewModel.cs <span style='color:#111;'> 2.15KB </span>","children":null,"spread":false},{"title":"IHighlightable.cs <span style='color:#111;'> 775B </span>","children":null,"spread":false},{"title":"PlaceViewModel.cs <span style='color:#111;'> 1.97KB </span>","children":null,"spread":false}],"spread":false},{"title":"AboutWindow.xaml <span style='color:#111;'> 1.58KB </span>","children":null,"spread":false},{"title":"Exceptions","children":[{"title":"DisconnectionErrorException.cs <span style='color:#111;'> 405B </span>","children":null,"spread":false},{"title":"NetDiagramXmlException.cs <span style='color:#111;'> 532B </span>","children":null,"spread":false},{"title":"ConnectionErrorException.cs <span style='color:#111;'> 393B </span>","children":null,"spread":false}],"spread":false},{"title":"MainWindow.xaml.cs <span style='color:#111;'> 30.13KB </span>","children":null,"spread":false},{"title":"App.config <span style='color:#111;'> 178B </span>","children":null,"spread":false},{"title":"App.xaml <span style='color:#111;'> 589B </span>","children":null,"spread":false},{"title":"App.xaml.cs <span style='color:#111;'> 325B </span>","children":null,"spread":false},{"title":"LogWindow.xaml <span style='color:#111;'> 1.84KB </span>","children":null,"spread":false},{"title":"Images","children":[{"title":"removetoken_off.png <span style='color:#111;'> 41.98KB </span>","children":null,"spread":false},{"title":"addtransition.png <span style='color:#111;'> 45.29KB </span>","children":null,"spread":false},{"title":"save.png <span style='color:#111;'> 27.29KB </span>","children":null,"spread":false},{"title":"export.png <span style='color:#111;'> 13.52KB </span>","children":null,"spread":false},{"title":"addconnection_off.png <span style='color:#111;'> 28.00KB </span>","children":null,"spread":false},{"title":"help.png <span style='color:#111;'> 13.50KB </span>","children":null,"spread":false},{"title":"deletemarking.png <span style='color:#111;'> 60.35KB </span>","children":null,"spread":false},{"title":"testnet.npnets.png <span style='color:#111;'> 75.51KB </span>","children":null,"spread":false},{"title":"addtoken.png <span style='color:#111;'> 78.91KB </span>","children":null,"spread":false},{"title":"addconnection.png <span style='color:#111;'> 40.81KB </span>","children":null,"spread":false},{"title":"removeconnection.png <span style='color:#111;'> 47.34KB </span>","children":null,"spread":false},{"title":"removetoken.png <span style='color:#111;'> 82.82KB </span>","children":null,"spread":false},{"title":"mynet.png <span style='color:#111;'> 7.72KB </span>","children":null,"spread":false},{"title":"firetransition_off.png <span style='color:#111;'> 25.06KB </span>","children":null,"spread":false},{"title":"addtoken_off.png <span style='color:#111;'> 38.75KB </span>","children":null,"spread":false},{"title":"new.png <span style='color:#111;'> 17.48KB </span>","children":null,"spread":false},{"title":"delete_off.png <span style='color:#111;'> 13.18KB </span>","children":null,"spread":false},{"title":"quit.png <span style='color:#111;'> 55.76KB </span>","children":null,"spread":false},{"title":"addplace.png <span style='color:#111;'> 81.14KB </span>","children":null,"spread":false},{"title":"firetransition.png <span style='color:#111;'> 49.79KB </span>","children":null,"spread":false},{"title":"delete.png <span style='color:#111;'> 14.28KB </span>","children":null,"spread":false},{"title":"removeconnection_off.png <span style='color:#111;'> 30.53KB </span>","children":null,"spread":false},{"title":"open.png <span style='color:#111;'> 22.80KB </span>","children":null,"spread":false}],"spread":false},{"title":"NetEditor.csproj <span style='color:#111;'> 9.50KB </span>","children":null,"spread":false},{"title":"Models","children":[{"title":"Log.cs <span style='color:#111;'> 1.30KB </span>","children":null,"spread":false}],"spread":false},{"title":"LogWindow.xaml.cs <span style='color:#111;'> 2.23KB </span>","children":null,"spread":false}],"spread":false},{"title":"PetriNetEditor.sln <span style='color:#111;'> 1.42KB </span>","children":null,"spread":false}],"spread":true}],"spread":true}]

评论信息

免责申明

【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明