petri网常用软件 PIPEv4.3.0

PIPE是构建petri网的强大工具之一，优点在于比cpn tools等其他工具更通俗易懂；该软件必须在JAVA环境下运行，下载解压后双击 launch.bat即可打开

 属性            大小     日期    时间   名称
----------- ---------  ---------- -----  ----
     目录           0  2017-12-30 00:14  PIPE\
     目录           0  2017-12-30 00:14  PIPE\PIPEv4.3.0\
     文件        6148  2013-09-06 12:47  PIPE\PIPEv4.3.0\.DS_Store
     文件         264  2012-04-28 21:30  PIPE\PIPEv4.3.0\launch.bat
     文件         295  2013-08-11 20:44  PIPE\PIPEv4.3.0\launch.sh
     目录           0  2017-12-30 00:15  PIPE\PIPEv4.3.0\Pipe\
     文件       15364  2013-08-11 21:23  PIPE\PIPEv4.3.0\Pipe\.DS_Store
     目录           0  2017-12-30 00:14  PIPE\PIPEv4.3.0\Pipe\cfg\
     目录           0  2017-12-30 00:14  PIPE\PIPEv4.3.0\Pipe\cfg\.svn\
     文件        1756  2012-04-28 21:31  PIPE\PIPEv4.3.0\Pipe\cfg\.svn\entries
     目录           0  2017-12-30 00:14  PIPE\PIPEv4.3.0\Pipe\cfg\.svn\text-base\
     文件          55  2012-04-28 21:30  PIPE\PIPEv4.3.0\Pipe\cfg\.svn\text-base\classification.properties.svn-base
     文件          47  2012-04-28 21:30  PIPE\PIPEv4.3.0\Pipe\cfg\.svn\text-base\comparison.properties.svn-base
     文件          55  2012-04-28 21:30  PIPE\PIPEv4.3.0\Pipe\cfg\.svn\text-base\comparison_1.properties.svn-base
     文件          41  2012-04-28 21:30  PIPE\PIPEv4.3.0\Pipe\cfg\.svn\text-base\dnamaca.properties.svn-base
     文件          38  2012-04-28 21:30  PIPE\PIPEv4.3.0\Pipe\cfg\.svn\text-base\GSPNNew.properties.svn-base
     文件          61  2012-04-28 21:30  PIPE\PIPEv4.3.0\Pipe\cfg\.svn\text-base\invariantAnalysis.properties.svn-base
     文件          43  2012-04-28 21:30  PIPE\PIPEv4.3.0\Pipe\cfg\.svn\text-base\matrixes.properties.svn-base
     文件          47  2012-04-28 21:30  PIPE\PIPEv4.3.0\Pipe\cfg\.svn\text-base\simulation.properties.svn-base
     文件          48  2012-04-28 21:30  PIPE\PIPEv4.3.0\Pipe\cfg\.svn\text-base\stateSpace.properties.svn-base
     文件          49  2012-04-28 21:30  PIPE\PIPEv4.3.0\Pipe\cfg\.svn\text-base\TrapSiphons.properties.svn-base
     文件          55  2012-04-28 21:30  PIPE\PIPEv4.3.0\Pipe\cfg\classification.properties
     文件          47  2012-04-28 21:30  PIPE\PIPEv4.3.0\Pipe\cfg\comparison.properties
     文件          55  2012-04-28 21:30  PIPE\PIPEv4.3.0\Pipe\cfg\comparison_1.properties
     文件          41  2012-04-28 21:30  PIPE\PIPEv4.3.0\Pipe\cfg\dnamaca.properties
     文件          38  2012-04-28 21:30  PIPE\PIPEv4.3.0\Pipe\cfg\GSPNNew.properties
     文件          61  2012-04-28 21:30  PIPE\PIPEv4.3.0\Pipe\cfg\invariantAnalysis.properties
     文件          43  2012-04-28 21:30  PIPE\PIPEv4.3.0\Pipe\cfg\matrixes.properties
     文件          47  2012-04-28 21:30  PIPE\PIPEv4.3.0\Pipe\cfg\simulation.properties
     文件          48  2012-04-28 21:30  PIPE\PIPEv4.3.0\Pipe\cfg\stateSpace.properties
     文件          49  2012-04-28 21:30  PIPE\PIPEv4.3.0\Pipe\cfg\TrapSiphons.properties
............此处省略2603个文件信息