Functionality enhancement:
Functional transition rates and functional arc weights.
New feature: Infinite-server semantics.
Bug fixing:
state space exploration bug;
Import from eDSPN file bug temporal fix;
deleting Petri net component bug.
Petri网建模软件——PIPE4.3.0
5星 · 超过95%的资源 需积分: 49 21 浏览量
2022-08-09
15:17:14
上传
评论 1
收藏 28.43MB ZIP 举报 
Petri网建模软件——PIPE4.3.0 （2391个子文件） 
launch.bat 264B PetriNetView.class 55KB FlanaganMath.class 50KB ComplexNumber.class 31KB MacroEditor.class 30KB PipeApplicationView.class 29KB TransitionView.class 28KB QueryEditor.class 28KB QueryData.class 27KB TextQueryEditor.class 27KB PNMLWriter.class 23KB AnalyseResponse.class 23KB StateSpaceGenerator.class 22KB TransitionEditorPanel.class 21KB QueryLoader.class 21KB Evaluator.class 21KB GSPNNew.class 20KB PerformanceQueryServerAction.class 19KB Matrix.class 18KB TranslateQueryTree.class 18KB PerformanceTreeArcPath.class 18KB QueryManager.class 17KB ArcPath.class 17KB GroupTransitionView.class 16KB Comparison.class 16KB PlaceView.class 16KB TransModel.class 16KB StateLabelManager.class 16KB TNTransformer.class 15KB MacroLoader.class 15KB QueryWriter.class 15KB PerformanceTreeNode.class 15KB ArcView.class 15KB TransMod.class 14KB MacroManager.class 14KB MacroWriter.class 14KB PerformanceTreeArc.class 14KB PerformanceTreeObjectHandler.class 14KB LargeStateSpaceGen.class 14KB LTIMapRed.class 14KB MacroDefinition.class 13KB MinimalSiphons.class 13KB PlaceEditorPanel.class 13KB EditPerformanceTreeNodeAction.class 13KB ArcWeightEditorPanel.class 13KB InvariantAnalysis.class 13KB MacroView.class 13KB PetriNetTab.class 12KB ProgressWindow.class 12KB ResultProvider.class 12KB PetriNetConverter.class 12KB ProgressView.class 11KB DrmaaExecutor.class 11KB NormalArcView.class 11KB CopyPasteManager.class 11KB Unfolder.class 11KB PerformanceTreeSelectionObject.class 11KB Passage.class 11KB OperationNode.class 11KB ServerAction.class 11KB TextFileResultWrapper.class 10KB SubtreeHelper.class 10KB Token.class 10KB QueueNetConverter.class 10KB ReachabilityGraphGenerator.class 10KB PipeApplicationModel.class 10KB Passage.class 10KB Expander.class 10KB ResultsHTMLPane.class 10KB TaggedModule.class 10KB ResultGraphPlotter.class 9KB myTree.class 9KB PerformanceTreeArcPathPoint.class 9KB TransMod.class 9KB QueryView.class 9KB LaplaceTransformInverter.class 9KB AnalysisThread.class 9KB ConnectableView.class 9KB MacroNode.class 9KB ArcPathPoint.class 9KB Classification.class 9KB PetriNetViewComponent.class 9KB RTA.class 8KB AnnotationNote.class 8KB StateGroupEditor.class 8KB ModuleManager.class 8KB Simulation.class 8KB ResultGeneration.class 8KB PetriNetTab$MouseHandler.class 8KB PlaceTransitionObjectHandler.class 8KB TokenView.class 8KB GroupTransitionEditorPanel.class 8KB SteadyState.class 8KB NodeAnalyserHelper.class 8KB StateEditor.class 8KB Export.class 8KB SteadyStateAnalysis.class 8KB QueryView$MouseHandler.class 8KB PerformanceTreeExporter.class 7KB GraphFrame.class 7KB共 2391 条
- 1
- 2
- 3
- 4
- 5
- 6
- 24
评论10