petri编辑工具Pipe2

[{"title":"（ 859 个子文件 7.44MB ） petri编辑工具Pipe2","children":[{"title":"Readers&Writers.dot <span style='color:#111;'> 471B </span>","children":null,"spread":false},{"title":"ClassicGSPN.dot <span style='color:#111;'> 449B </span>","children":null,"spread":false},{"title":"GSPN1.dot <span style='color:#111;'> 2.00KB </span>","children":null,"spread":false},{"title":"Readers & Writers.xml <span style='color:#111;'> 5.15KB </span>","children":null,"spread":false},{"title":"FMS.xml <span style='color:#111;'> 25.24KB </span>","children":null,"spread":false},{"title":"......","children":null,"spread":false},{"title":"<span style='color:steelblue;'>文件过多，未全部展示</span>","children":null,"spread":false}],"spread":true}]