pipe建模工具使用_pipe4.3 petri网软件

【实例简介】

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

│   ├── current.mod

│   ├── current.txt

│   ├── CVS

│   │   ├── Entries

│   │   ├── Repository

│   │   ├── Root

│   │   └── Tag

│   ├── documentation

│   │   ├── 0.Analysis Modules.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

│   │   ├── 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

│   │   ├── 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

│   │   ├── 7.create a new petri-net.htm

│   │   ├── 8.open an already existing file.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.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

│   │   │   ├── 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

│   │   │   ├── 46Comparison.png

│   │   │   ├── 47StateSpace.png

│   │   │   ├── 49Comparison RES.png

│   │   │   ├── 4.Save as.png

│   │   │   ├── 50gspn.png

│   │   │   ├── 51GSPNNET.png

│   │   │   ├── 5.close.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 Unit Coloured.xml

│   │   ├── ClassicGSPN.xml

│   │   ├── Coloured Reader Writer.xml

│   │   ├── Courier Protocol.xml

│   │   ├── Dining philosophers.xml

│   │   ├── Dual Processor With Colour.xml

│   │   ├── FMS1.xml

│   │   ├── fms.xml

│   │   ├── gspn1.xml

│   │   ├── gspn2.xml

│   │   ├── gspn3.xml

│   │   ├── Producer & Consumer.xml

│   │   ├── Readers & Writers.xml

│   │   └── Simple Coloured Net.xml

│   ├── GSPN_Analysis.html

│   ├── images

│   │   ├── About.png

│   │   ├── Add token.png

│   │   ├── Animate.png

│   │   ├── Animation mode.png

│   │   ├── Annotation.png

│   │   ├── Arc.png

│   │   ├── Back.png

│   │   ├── Close.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

│   │   ├── Move.png

│   │   ├── Net.png

│   │   ├── New.png

│   │   ├── Open.png

│   │   ├── Paste(1).png

│   │   ├── Paste.png

│   │   ├── Place.png

│   │   ├── PNG.png

│   │   ├── PostScript.png

│   │   ├── Print.png

│   │   ├── Random.png

│   │   ├── Rate Parameter.png

│   │   ├── Redo(1).png

│   │   ├── Redo(2).png

│   │   ├── Redo(3).png

│   │   ├── Redo.png

│   │   ├── Save as.png

│   │   ├── Save.png

│   │   ├── Select.png

│   │   ├── SpecifyTokenClasses.png

│   │   ├── Thumbs.db

│   │   ├── Timed transition.png

│   │   ├── Undo(1).png

│   │   ├── Undo(2).png

│   │   ├── Undo(3).png

│   │   ├── Undo.png

│   │   ├── unfoldAction.png

│   │   ├── ungroupTransitions.png

│   │   ├── Zoom in.png

│   │   ├── Zoom out.png

│   │   └── Zoom.png

│   ├── lib

│   │   ├── abbot.jar

│   │   ├── commons-logging-1.1.jar

│   │   ├── drmaa.jar

│   │   ├── hadoop-0.13.1-dev-core.jar

│   │   ├── Jama-1.0.2.jar

│   │   ├── jcommon-1.0.10.jar

│   │   ├── jeval.jar

│   │   ├── jfreechart-1.0.6.jar

│   │   ├── jfreechart-1.0.6-swt.jar

│   │   ├── jpowergraph-0.2-common.jar

│   │   ├── jpowergraph-0.2-swing.jar

│   │   ├── log4j-1.2.13.jar

│   │   ├── netcdf-4.2.jar

│   │   ├── poi-3.7-20101029.jar

│   │   ├── poi-examples-3.7-20101029.jar

│   │   ├── poi-ooxml-3.7-20101029.jar

│   │   ├── poi-ooxml-schemas-3.7-20101029.jar

│   │   ├── poi-scratchpad-3.7-20101029.jar

│   │   ├── powerswing-0.3.jar

│   │   └── tools.jar

│   ├── META-INF

│   │   └── MANIFEST.MF

│   ├── net

│   │   └── sourceforge

│   │   └── jeval

│   │   ├── ArgumentTokenizer.class

│   │   ├── EvaluationConstants.class

│   │   ├── EvaluationException.class

│   │   ├── EvaluationHelper.class

│   │   ├── EvaluationResult.class

│   │   ├── Evaluator.class

│   │   ├── ExpressionOperand.class

│   │   ├── ExpressionOperator.class

│   │   ├── ExpressionTree.class

│   │   ├── function

│   │   │   ├── Function.class

│   │   │   ├── FunctionConstants.class

│   │   │   ├── FunctionException.class

│   │   │   ├── FunctionGroup.class

│   │   │   ├── FunctionHelper.class

│   │   │   ├── FunctionResult.class

│   │   │   ├── math

│   │   │   │   ├── Abs.class

│   │   │   │   ├── Acos.class

│   │   │   │   ├── Asin.class

│   │   │   │   ├── Atan2.class

│   │   │   │   ├── Atan.class

│   │   │   │   ├── Ceil.class

│   │   │   │   ├── Cos.class

│   │   │   │   ├── Exp.class

│   │   │   │   ├── Floor.class

│   │   │   │   ├── IEEEremainder.class

│   │   │   │   ├── Log.class

│   │   │   │   ├── MathFunctions.class

│   │   │   │   ├── Max.class

│   │   │   │   ├── Min.class

│   │   │   │   ├── package.html

│   │   │   │   ├── Pow.class

│   │   │   │   ├── Random.class

│   │   │   │   ├── Rint.class

│   │   │   │   ├── Round.class

│   │   │   │   ├── Sin.class

│   │   │   │   ├── Sqrt.class

│   │   │   │   ├── Tan.class

│   │   │   │   ├── ToDegrees.class

│   │   │   │   └── ToRadians.class

│   │   │   ├── package.html

│   │   │   └── string

│   │   │   ├── CharAt.class

│   │   │   ├── CompareTo.class

│   │   │   ├── CompareToIgnoreCase.class

│   │   │   ├── Concat.class

│   │   │   ├── EndsWith.class

│   │   │   ├── Equals.class

│   │   │   ├── EqualsIgnoreCase.class

│   │   │   ├── Eval.class

│   │   │   ├── IndexOf.class

│   │   │   ├── LastIndexOf.class

│   │   │   ├── Length.class

│   │   │   ├── package.html

│   │   │   ├── Replace.class

│   │   │   ├── StartsWith.class

│   │   │   ├── StringFunctions.class

│   │   │   ├── Substring.class

│   │   │   ├── ToLowerCase.class

│   │   │   ├── ToUpperCase.class

│   │   │   └── Trim.class

│   │   ├── NextOperator.class

│   │   ├── operator

│   │   │   ├── AbstractOperator.class

│   │   │   ├── AdditionOperator.class

│   │   │   ├── BooleanAndOperator.class

│   │   │   ├── BooleanNotOperator.class

│   │   │   ├── BooleanOrOperator.class

│   │   │   ├── ClosedParenthesesOperator.class

│   │   │   ├── DivisionOperator.class

│   │   │   ├── EqualOperator.class

│   │   │   ├── GreaterThanOperator.class

│   │   │   ├── GreaterThanOrEqualOperator.class

│   │   │   ├── LessThanOperator.class

│   │   │   ├── LessThanOrEqualOperator.class

│   │   │   ├── ModulusOperator.class

│   │   │   ├── MultiplicationOperator.class

│   │   │   ├── NotEqualOperator.class

│   │   │   ├── OpenParenthesesOperator.class

│   │   │   ├── Operator.class

│   │   │   └── SubtractionOperator.class

│   │   ├── package.html

│   │   ├── ParsedFunction.class

│   │   └── VariableResolver.class

│   ├── parser

│   │   ├── ExprEvaluator.class

│   │   └── MarkingDividedByNumberException.class

│   ├── pipe

│   │   ├── actions

│   │   │   ├── AnimateAction.class

│   │   │   ├── ChooseTokenClassAction.class

│   │   │   ├── DeleteAction.class

│   │   │   ├── DeletePetriNetObjectAction.class

│   │   │   ├── EditAction.class

│   │   │   ├── EditAnnotationBackgroundAction.class

│   │   │   ├── EditAnnotationBorderAction.class

│   │   │   ├── EditNoteAction.class

│   │   │   ├── EditServerAction.class

│   │   │   ├── ExampleFile