文件名称:PIPEv4
介绍说明--下载内容均来自于网络,请自行研究使用
Petri网画图仿真软件,适合基本,随机和着色Petri网。开源-Petri nets drawing simulation software, for basic, random and colored Petri nets. Open source
(系统自动生成,下载前可以参看下载内容)
下载文件列表
PIPEv4
......\launch.bat
......\launch.sh
......\Pipe
......\....\cfg
......\....\...\classification.properties
......\....\...\comparison.properties
......\....\...\comparison_1.properties
......\....\...\dnamaca.properties
......\....\...\GSPNNew.properties
......\....\...\invariantAnalysis.properties
......\....\...\matrixes.properties
......\....\...\simulation.properties
......\....\...\stateSpace.properties
......\....\...\TrapSiphons.properties
......\....\current.mod
......\....\current.txt
......\....\documentation
......\....\.............\0.Analysis Modules.htm
......\....\.............\1.Invariant Analysis.htm
......\....\.............\10.save a file as.htm
......\....\.............\11.close current tub.htm
......\....\.............\12.add a place.htm
......\....\.............\13.add a transition.htm
......\....\.............\14.add an arc.htm
......\....\.............\15.add a token.htm
......\....\.............\16.delete a token.htm
......\....\.............\17.select components.htm
......\....\.............\18.change grid size.htm
......\....\.............\19.toggle to animation mode.htm
......\....\.............\2.Simulation.htm
......\....\.............\20.step backward a firing.htm
......\....\.............\21.step forward firing.htm
......\....\.............\22.randomly fire a transition.htm
......\....\.............\23.drawing modes.htm
......\....\.............\24.Place Mode.htm
......\....\.............\25.Transition Mode.htm
......\....\.............\26.Arc Mode.htm
......\....\.............\27.Select Mode.htm
......\....\.............\28.Add Token Mode.htm
......\....\.............\29.Delete Token Mode.htm
......\....\.............\3.State Space.htm
......\....\.............\31.add_a_timed_transition.htm
......\....\.............\32.add_an_annotation.htm
......\....\.............\33.randomly_fire_a_number_of_transi.htm
......\....\.............\34.print.htm
......\....\.............\36general_stochastic_petri.htm
......\....\.............\37dnamacamodule.htm
......\....\.............\38timed_transition_mode.htm
......\....\.............\39toggle_mode.htm
......\....\.............\4.Classification.htm
......\....\.............\6.Incidence and Marking.htm
......\....\.............\7.create a new petri-net.htm
......\....\.............\8.open an already existing file.htm
......\....\.............\9.save an existing file.htm
......\....\.............\images
......\....\.............\......\1.new.png
......\....\.............\......\10.add an arc.png
......\....\.............\......\11.add an annotation.png
......\....\.............\......\12.ad a token.png
......\....\.............\......\13.delete a token.png
......\....\.............\......\14.select components.png
......\....\.............\......\15change the grid size.png
......\....\.............\......\16.toggle to an mode.png
......\....\.............\......\17.Step backward a firing.png
......\....\.............\......\19.step forward a firing.png
......\....\.............\......\2.open.png
......\....\.............\......\20.randomly fire a transition.png
......\....\.............\......\20.randomply fire a number of transitions.png
......\....\.............\......\21.PIPE help.png
......\....\.............\......\22.PIPE.png
......\....\.............\......\23.top left GUI.png
......\....\.............\......\3.save.png
......\....\.............\......\35Innvariant.png
......\....\.............\......\36InnvariantCIRCUIT.png
......\....\.............\......\37simulation.png
......\....\.............\......\38simulationNET.png
......\....\.............\......\39incidence and marking.png
......\....\.............\......\4.Save as.png
......\....\.............\......\40incidence and markingNET.png
......\....\.............\......\41classification.png
......\....\.............\......\42classificationNET.png
......\....\.............\......\44general stohastic.png
......\....\.............\......\45DNAmeca.png
......\....\.............\......\46Comparison.png
......\....\.............\......\47StateSpace.png
......\....\.............\......\4