Petri网建模工具PIPE2.5

【实例简介】
PIPE（Platform Independent Petri Net Editor）是一款比较经典的Petri网建模工具
【实例截图】
【核心代码】
fba31afd-2d79-4454-9123-590732388918
└── PIPE2.5
├── cfg
│   ├── classification.properties
│   ├── comparison_1.properties
│   ├── comparison.properties
│   ├── dnamaca.properties
│   ├── GSPNNew.properties
│   ├── invariantAnalysis.properties
│   ├── matrixes.properties
│   ├── simulation.properties
│   ├── stateSpace.properties
│   └── TrapSiphons.properties
├── Docs
│   ├── 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
│   ├── index.htm
│   ├── PIPE 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
│   └── using the taskbar.htm
├── Example nets
│   ├── ClassicGSPN.xml
│   ├── Courier Protocol.xml
│   ├── Dining philosophers.xml
│   ├── fms.xml
│   ├── gspn1.xml
│   ├── gspn2.xml
│   ├── gspn3.xml
│   ├── Producer & Consumer.xml
│   ├── Readers & Writers.xml
│   └── TimelessTrap.xml
├── expressions
│   ├── Converter.class
│   ├── CUP$parser$actions.class
│   ├── ExpressionInterpreter.class
│   ├── InvalidTypeException.class
│   ├── java_cup
│   │   └── runtime
│   │   ├── ComplexSymbolFactory$ComplexSymbol.class
│   │   ├── ComplexSymbolFactory$Location.class
│   │   ├── ComplexSymbolFactory.class
│   │   ├── DefaultSymbolFactory.class
│   │   ├── lr_parser.class
│   │   ├── Scanner.class
│   │   ├── Symbol.class
│   │   ├── SymbolFactory.class
│   │   └── virtual_parse_stack.class
│   ├── parser.class
│   ├── Scanner.class
│   ├── sym.class
│   ├── SyntaxException.class
│   └── VariableNotInitializedException.class
├── 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
│   ├── Example.png
│   ├── Exit.png
│   ├── Export.png
│   ├── Forward.png
│   ├── Help.png
│   ├── icon.png
│   ├── Immediate transition.png
│   ├── Inhibitor Arc.png
│   ├── Marking Parameter(1).png
│   ├── Marking Parameter(2).png
│   ├── Marking Parameter().png
│   ├── Marking Parameter.png
│   ├── MarkingParameter.png
│   ├── Move.png
│   ├── Net.png
│   ├── New.png
│   ├── Open.png
│   ├── Paste(1).png
│   ├── Paste.png
│   ├── Place.png
│   ├── png2.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
│   ├── Thumbs.db
│   ├── Timed transition.png
│   ├── Undo(1).png
│   ├── Undo(2).png
│   ├── Undo(3).png
│   ├── Undo.png
│   ├── Zoom in.png
│   ├── Zoom out.png
│   └── Zoom.png
├── jama
│   ├── CholeskyDecomposition.class
│   ├── EigenvalueDecomposition.class
│   ├── LUDecomposition.class
│   ├── Matrix.class
│   ├── QRDecomposition.class
│   ├── SingularValueDecomposition.class
│   └── util
│   └── Maths.class
├── java_cup
│   └── runtime
│   ├── lr_parser.class
│   ├── Scanner.class
│   ├── Symbol.class
│   └── virtual_parse_stack.class
├── jpowergraph
│   ├── PIPEInitialState.class
│   ├── PIPEInitialTangibleState.class
│   ├── PIPEInitialVanishingState.class
│   ├── PIPELineWithTextEdgePainter.class
│   ├── PIPELoopWithTextEdge.class
│   ├── PIPELoopWithTextEdgePainter.class
│   ├── PIPENode.class
│   ├── PIPEState.class
│   ├── PIPESwingContextMenuListener.class
│   ├── PIPESwingToolTipListener.class
│   ├── PIPETangibleState.class
│   └── PIPEVanishingState.class
├── lib
│   ├── jpowergraph-0.2-common.jar
│   ├── jpowergraph-0.2-swing.jar
│   └── powerswing-0.3.jar
├── pipe
│   ├── dataLayer
│   │   ├── AnnotationNote$ResizePoint.class
│   │   ├── AnnotationNote$ResizePointHandler.class
│   │   ├── AnnotationNote.class
│   │   ├── Arc.class
│   │   ├── ArcPath.class
│   │   ├── ArcPathPoint.class
│   │   ├── calculations
│   │   │   ├── ArcListElement.class
│   │   │   ├── CompressedState.class
│   │   │   ├── EnterOptionsException.class
│   │   │   ├── Marking.class
│   │   │   ├── MatrixElement.class
│   │   │   ├── myNode.class
│   │   │   ├── myTree.class
│   │   │   ├── NotConvergingException.class
│   │   │   ├── NotValidExpressionException.class
│   │   │   ├── Queue.class
│   │   │   ├── State.class
│   │   │   ├── StateList.class
│   │   │   ├── StateSpaceGenerator.class
│   │   │   ├── StateSpaceTooBigException.class
│   │   │   ├── SteadyStateSolver.class
│   │   │   ├── TimelessTrapException.class
│   │   │   ├── TreeTooBigException.class
│   │   │   └── VanishingState.class
│   │   ├── Cubic.class
│   │   ├── DataLayer.class
│   │   ├── DataLayerWriter.class
│   │   ├── DynamicMarking.class
│   │   ├── InhibitorArc.class
│   │   ├── MarkingParameter.class
│   │   ├── NameLabel.class
│   │   ├── NormalArc.class
│   │   ├── Note.class
│   │   ├── Parameter.class
│   │   ├── PetriNetObject.class
│   │   ├── Place.class
│   │   ├── PlaceTransitionObject.class
│   │   ├── PNMatrix.class
│   │   ├── PNMLTransformer.class
│   │   ├── RateParameter.class
│   │   ├── StateElement.class
│   │   ├── StateGroup.class
│   │   ├── TNTransformer.class
│   │   ├── Transition$ArcAngleCompare.class
│   │   └── Transition.class
│   ├── experiment
│   │   ├── editor
│   │   │   └── gui
│   │   │   ├── AssignEditorPanel.class
│   │   │   ├── ExperimentEditor.class
│   │   │   ├── ExperimentEditorPanel.class
│   │   │   ├── NewJPanel.class
│   │   │   ├── SolutionSpecDialog.class
│   │   │   ├── SolutionSpecEditorPanel.class
│   │   │   └── VariableEditorPanel.class
│   │   ├── Experiment.class
│   │   ├── GlobalVariable.class
│   │   ├── InvalidExpressionException.class
│   │   ├── IterationVector.class
│   │   ├── OutputVariable.class
│   │   ├── ResultsProvider.class
│   │   ├── SolutionSpec.class
│   │   ├── validation
│   │   │   ├── ExperimentValidator.class
│   │   │   └── NotMatchingException.class
│   │   └── Variable.class
│   ├── gui
│   │   ├── action
│   │   │   ├── DeletePetriNetObjectAction.class
│   │   │   ├── EditAnnotationBackgroundAction.class
│   │   │   ├── EditAnnotationBorderAction.class
│   │   │   ├── EditNoteAction.class
│   │   │   ├── EditServerAction.class
│   │   │   ├── EditTaggedAction.class
│   │   │   ├── EditWeightAction.class
│   │   │   ├── GetIndexAction.class
│   │   │   ├── GuiAction.class
│   │   │   ├── InsertPointAction.class
│   │   │   ├── ShowHideInfoAction.class
│   │   │   ├── SplitArcAction.class
│   │   │   ├── SplitArcPointAction.class
│   │   │   └── ToggleArcPointAction.class
│   │   ├── AnimationHistory.class
│   │   ├── Animator$1.class
│   │   ├── Animator.class
│   │   ├── BlankLayer.class
│   │   ├── CopyPasteable.class
│   │   ├── CopyPasteManager.class
│   │   ├── CreateGui$1.class
│   │   ├── CreateGui$TabData.class
│   │   ├── CreateGui.class
│   │   ├── Export.class
│   │   ├── ExtensionFilter.class
│   │   ├── ExtFileManager.class
│   │   ├── Grid.class
│   │   ├── GuiFrame$1.class
│   │   ├── GuiFrame$2.class
│   │   ├── GuiFrame$3.class
│   │   ├── GuiFrame$AnimateAction.class
│   │   ├── GuiFrame$DeleteAction.class
│   │   ├── GuiFrame$EditAction.class
│   │   ├── GuiFrame$ExampleFileAction.class
│   │   ├── GuiFrame$ExperimentAction.class
│   │   ├── GuiFrame$FileAction.class
│   │   ├── GuiFrame$GridAction.class
│   │   ├── GuiFrame$ToggleButton.class
│   │   ├── GuiFrame$TypeAction.class
│   │   ├── GuiFrame$WindowHandler.class
│   │   ├── GuiFrame$ZoomAction.class
│   │   ├── GuiFrame.class
│   │   ├── GuiView$MouseHandler.class
│   │   ├── GuiView.class
│   │   ├── handler
│   │   │   ├── AnimationHandler.class
│   │   │   ├── AnnotationNoteHandler.class
│   │   │   ├── ArcHandler$DeleteInverseArcAction.class
│   │   │   ├── ArcHandler$SplitArcsAction.class
│   │   │   ├── ArcHandler.class
│   │   │   ├── ArcKeyboardEventHandler.class
│   │   │   ├── ArcPathPointHandler.class
│   │   │   ├── LabelHandler.class
│   │   │   ├── NoteHandler.class
│   │   │   ├── ParameterHandler.class
│   │   │   ├── PetriNetObjectHandler.class
│   │   │   ├── PlaceHandler$1.class
│   │   │   ├── PlaceHandler.class
│   │   │   ├── PlaceTransitionObjectHandler.class
│   │   │   ├── TransitionHandler$1.class
│   │   │   └── TransitionHandler.class
│   │   ├── HelpBox.class
│   │   ├── ModuleClassContainer.class
│   │   ├── ModuleLoader.class
│   │   ├── ModuleManager$RemoveModuleAction.class
│   │   ├── ModuleManager$TreeHandler.class
│   │   ├── ModuleManager.class
│   │   ├── ModuleMethod.class
│   │   ├── Pipe.class
│   │   ├── SelectionManager.class
│   │   ├── StatusBar.class
│   │   ├── Translatable.class
│   │   ├── undo
│   │   │   ├── AddArcPathPointEdit.class
│   │   │   ├── AddPetriNetObjectEdit.class
│   │   │   ├── AnnotationBorderEdit.class
│   │   │   ├── AnnotationTextEdit.class
│   │   │   ├── ArcPathPointTypeEdit.class
│   │   │   ├── ArcWeightEdit.class
│   │   │   ├── ChangeMarkingParameterEdit.class
│   │   │   ├── ChangeRateParameterEdit.class
│   │   │   ├── ClearInverseArcEdit.class
│   │   │   ├── ClearMarkingParameterEdit.class
│   │   │   ├── ClearRateParameterEdit.class
│   │   │   ├── DeleteArcPathPointEdit.class
│   │   │   ├── DeletePetriNetObjectEdit.class
│   │   │   ├── JoinInverseArcEdit.class
│   │   │   ├── MarkingParameterValueEdit.class
│   │   │   ├── ParameterNameEdit.class
│   │   │   ├── PetriNetObjectNameEdit.class
│   │   │   ├── PlaceCapacityEdit.class
│   │   │   ├── PlaceMarkingEdit.class
│   │   │   ├── RateParameterValueEdit.class
│   │   │   ├── SetInverseArcEdit.class
│   │   │   ├── SetMarkingParameterEdit.class
│   │   │   ├── SetRateParameterEdit.class
│   │   │   ├── SplitInverseArcEdit.class
│   │   │   ├── TagArcEdit.class
│   │   │   ├── TransitionPriorityEdit.class
│   │   │   ├── TransitionRateEdit.class
│   │   │   ├── TransitionRotationEdit.class
│   │   │   ├── TransitionServerSemanticEdit.class
│   │   │   ├── TransitionTimingEdit.class
│   │   │   ├── TranslatePetriNetObjectEdit.class
│   │   │   ├── UndoableEdit.class
│   │   │   └── UndoManager.class
│   │   ├── ViewExpansionComponent.class
│   │   ├── widgets
│   │   │   ├── AnnotationPanel$1.class
│   │   │   ├── AnnotationPanel$2.class
│   │   │   ├── AnnotationPanel.class
│   │   │   ├── ButtonBar.class
│   │   │   ├── CartesianGraphFrame$1.class
│   │   │   ├── CartesianGraphFrame$2.class
│   │   │   ├── CartesianGraphFrame$3.class
│   │   │   ├── CartesianGraphFrame.class
│   │   │   ├── EnterOptionsPane$HadoopPane.class
│   │   │   ├── EnterOptionsPane.class
│   │   │   ├── EscapableDialog$1.class
│   │   │   ├── EscapableDialog.class
│   │   │   ├── FileBrowser.class
│   │   │   ├── GraphFrame$1.class
│   │   │   ├── GraphFrame.class
│   │   │   ├── GraphPanel.class
│   │   │   ├── GraphPanelPane$1.class
│   │   │   ├── GraphPanelPane.class
│   │   │   ├── ParameterPanel$1.class
│   │   │   ├── ParameterPanel$2.class
│   │   │   ├── ParameterPanel$3.class
│   │   │   ├── ParameterPanel$4.class
│   │   │   ├── ParameterPanel.class
│   │   │   ├── PetriNetChooserPanel$1.class
│   │   │   ├── PetriNetChooserPanel$2.class
│   │   │   ├── PetriNetChooserPanel.class
│   │   │   ├── PlaceEditorPanel$1.class
│   │   │   ├── PlaceEditorPanel$2.class
│   │   │   ├── PlaceEditorPanel$3.class
│   │   │   ├── PlaceEditorPanel$4.class
│   │   │   ├── PlaceEditorPanel$5.class
│   │   │   ├── PlaceEditorPanel$6.class
│   │   │   ├── PlaceEditorPanel$7.class
│   │   │   ├── PlaceEditorPanel.class
│   │   │   ├── ProgressBar$1.class
│   │   │   ├── ProgressBar.class
│   │   │   ├── ResultsHTMLPane$1.class
│   │   │   ├── ResultsHTMLPane$2.class
│   │   │   ├── ResultsHTMLPane.class
│   │   │   ├── TransitionEditor$10.class
│   │   │   ├── TransitionEditor$11.class
│   │   │   ├── TransitionEditor$1.class
│   │   │   ├── TransitionEditor$2.class
│   │   │   ├── TransitionEditor$3.class
│   │   │   ├── TransitionEditor$4.class
│   │   │   ├── TransitionEditor$5.class
│   │   │   ├── TransitionEditor$6.class
│   │   │   ├── TransitionEditor$7.class
│   │   │   ├── TransitionEditor$8.class
│   │   │   ├── TransitionEditor$9.class
│   │   │   └── TransitionEditor.class
│   │   ├── Zoomable.class
│   │   └── Zoomer.class
│   ├── io
│   │   ├── AbortDotFileGenerationException.class
│   │   ├── ImmediateAbortException.class
│   │   ├── IncorrectFileFormatException.class
│   │   ├── JarUtilities.class
│   │   ├── NewRGFileHeader.class
│   │   ├── NewStateRecord.class
│   │   ├── NewTransitionRecord.class
│   │   ├── RGFileHeader.class
│   │   ├── StateRecord.class
│   │   └── TransitionRecord.class
│   └── modules
│   ├── classification
│   │   ├── Classification$1.class
│   │   └── Classification.class
│   ├── comparison
│   │   ├── Comparison$1.class
│   │   └── Comparison.class
│   ├── dnamaca
│   │   ├── Dnamaca$1.class
│   │   ├── Dnamaca$2.class
│   │   ├── Dnamaca$DnamacaRun$ExternalTask$1.class
│   │   ├── Dnamaca$DnamacaRun$ExternalTask$ActualTask.class
│   │   ├── Dnamaca$DnamacaRun$ExternalTask.class
│   │   ├── Dnamaca$DnamacaRun$TimerListener$1.class
│   │   ├── Dnamaca$DnamacaRun$TimerListener.class
│   │   ├── Dnamaca$DnamacaRun.class
│   │   ├── Dnamaca.class
│   │   ├── SwingWorker$1.class
│   │   ├── SwingWorker$2.class
│   │   ├── SwingWorker$ThreadVar.class
│   │   └── SwingWorker.class
│   ├── EmptyNetException.class
│   ├── gspn
│   │   ├── GSPN.class
│   │   ├── GSPNNew$1.class
│   │   ├── GSPNNew$NoTimedTransitionsException.class
│   │   ├── GSPNNew.class
│   │   └── GSPNOld.class
│   ├── invariantAnalysis
│   │   ├── InvariantAnalysis$1.class
│   │   └── InvariantAnalysis.class
│   ├── matrices
│   │   ├── Matrices$1.class
│   │   └── Matrices.class
│   ├── minimalSiphons
│   │   ├── MinimalSiphons$1.class
│   │   ├── MinimalSiphons$PetriNet.class
│   │   ├── MinimalSiphons$SetOfPlaces.class
│   │   ├── MinimalSiphons$SetOfTransitions.class
│   │   └── MinimalSiphons.class
│   ├── Module.class
│   ├── reachability
│   │   ├── ReachabilityGraphGenerator$1.class
│   │   └── ReachabilityGraphGenerator.class
│   ├── simulation
│   │   ├── Simulation$1.class
│   │   └── Simulation.class
│   └── stateSpace
│   ├── StateSpace$1.class
│   └── StateSpace.class
├── pipe.bat
├── pipe.sh
├── results.rg
├── RunGui.class
├── schema
│   └── ExperimentSchema.xsd
├── src
│   └── src.zip
└── xslt
├── GenerateObjectList.xsl
├── GeneratePNML.xsl
└── TNtoPipe.xsl

42 directories, 482 files