pipe建模⼯具使⽤_pipe4.3petri⽹软件【实例简介】
petri⽹建模⼯具pipe4.3，需要先配置java环境
【实例截图】
【核⼼代码】
PIPEv4.3.0
├── __MACOSX
│ └── PIPEv4.3.0
└── PIPEv4.3.0
├── launch.bat
├── launch.sh
├── Pipe
│ ├── cfg
│ │ ├── classification.properties
│ │ ├── comparison_1.properties
│ │ ├── comparison.properties
│ │ ├── dnamaca.properties
│ │ ├── GSPNNew.properties
│ │ ├── invariantAnalysis.properties
│ │ ├── matrixes.properties
│ │ ├── simulation.properties
│ │ ├── stateSpace.properties
│ │ └── TrapSiphons.properties
│ ├── d
│ ├──
│ ├── CVS
│ │ ├── Entries
│ │ ├── Repository
│ │ ├── Root
│ │ └── Tag
│ ├── documentation
│ │ ├── 0.Analysis Modules.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.lect components.htm
│ │ ├── 18.change grid size.htm
│ │ ├── 19.toggle to animation mode.htm
│ │ ├── 1.Invariant Analysis.htm
│ │ ├── 20.step backward a firing.htm
│ │ ├── 21.step forward firing.htm
铂金钻戒│ │ ├── 22.randomly fire a transition.htm
│ │ ├── 23.drawing modes.htm
cpu风扇不转
│ │ ├── 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
│ │ ├── 2.Simulation.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
│ │ ├── 3.State Space.htm
│ │ ├── 4.Classification.htm
│ │ ├── 5.Comparison.htm
│ │ ├── 6.Incidence and Marking.htm
最美的草原
│ │ ├── 9.save an existing file.htm抗日战役
│ │ ├── images
│ │ │ ├── 10.add an arc.png
│ │ │ ├── 11.add an annotation.png
│ │ │ ├── 12.ad a token.png
│ │ │ ├── 13.delete a token.png
│ │ │ ├── 14.lect 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
│ │ │ ├── 1.new.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
│ │ │ ├── 2.open.png
│ │ │ ├── 35Innvariant.png
杭州有哪些好玩的景点│ │ │ ├── 36InnvariantCIRCUIT.png
│ │ │ ├── 37simulation.png
│ │ │ ├── 38simulationNET.png
│ │ │ ├── 39incidence and marking.png
│ │ │ ├── 3.save.png
│ │ │ ├── 40incidence and markingNET.png
│ │ │ ├── 41classification.png
│ │ │ ├── 42classificationNET.png
│ │ │ ├── 44general stohastic.png
│ │ │ ├── 45DNAmeca.png
puk码查询│ │ │ ├── 46Comparison.png
│ │ │ ├── 47StateSpace.png
│ │ │ ├── 49Comparison RES.png
│ │ │ ├── 51GSPNNET.png
│ │ │ ├── 5.clo.png
│ │ │ ├── 6.print.png
│ │ │ ├── 7.add a place.png
│ │ │ ├── 8.add a transition.png
│ │ │ ├── 9.add a timed transition.png
│ │ │ └── Thumbs.db
│ │ ├── index.htm
怦怦的意思│ │ └── using the taskbar.htm
│ ├── extras
│ │ ├── dynamicCode
│ │ └── examples
│ │ ├── Accident & Emergency Unit (basic model).xml │ │ ├── Accident & Emergency l
│ │ ├── l
│ │ ├── Coloured l
│ │ ├── l
│ │ ├── l
│ │ ├── Dual Processor l
│ │ ├── l
│ │ ├── l
│ │ ├── l
│ │ ├── l
│ │ ├── l
│ │ ├── Producer & l
│ │ ├── Readers & l
│ │ └── Simple l
│ ├── GSPN_Analysis.html
│ ├── images
│ │ ├── About.png
│ │ ├── Add token.png
│ │ ├── Animate.png
│ │ ├── Arc.png
│ │ ├── Back.png
│ │ ├── Clo.png
│ │ ├── Copy(1).png
│ │ ├── Copy(2).png
│ │ ├── Copy.png
│ │ ├── Cut(1).png
│ │ ├── Cut(2).png
│ │ ├── Cut.png
│ │ ├── Cycle grid.png
│ │ ├── Delete.png
│ │ ├── Delete token.png
│ │ ├── Drag2.png
│ │ ├── Drag.png
│ │ ├── eDSPN.png
│ │ ├── Example.png
│ │ ├── Exit.png
│ │ ├── Export.png
│ │ ├── Forward.png
│ │ ├── groupTransitions.png
│ │ ├── Help.png
│ │ ├── icon.png
│ │ ├── Immediate transition.png │ │ ├── Import.png
│ │ ├── Inhibitor Arc.png
│ │ ├── less.png
│ │ ├── Marking Parameter(1).png │ │ ├── Marking Parameter(2).png │ │ ├── Marking Parameter().png │ │ ├── Marking Parameter.png
│ │ ├── MarkingParameter.png
│ │ ├── more.png
