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网常用软件 PIPEv4.3.0 (2389个子文件)
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
NormalArcView.class 11KB
DrmaaExecutor.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
共 2389 条
- 1
- 2
- 3
- 4
- 5
- 6
- 24
资源评论
- 迷途青蛙呱呱呱2019-09-14感谢分享,摸索中
- BOMB982019-09-11感谢感谢.,超级给力了
- chocolate_zql2021-04-25可以用,太好了
rayplus
- 粉丝: 1
- 资源: 2
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功