[{"title":"( 1513 个子文件 5.43MB ) PIPE2 Petri网绘制,模拟工具","children":[{"title":"stateSpace.properties <span style='color:#111;'> 48B </span>","children":null,"spread":false},{"title":"invariantAnalysis.properties <span style='color:#111;'> 61B </span>","children":null,"spread":false},{"title":"comparison.properties <span style='color:#111;'> 47B </span>","children":null,"spread":false},{"title":"GSPNNew.properties <span style='color:#111;'> 38B </span>","children":null,"spread":false},{"title":"classification.properties <span style='color:#111;'> 55B </span>","children":null,"spread":false},{"title":"......","children":null,"spread":false},{"title":"<span style='color:steelblue;'>文件过多,未全部展示</span>","children":null,"spread":false}],"spread":true}]