实例介绍
【实例简介】
petri编辑工具Pipe2源码,java写的
【实例截图】
【核心代码】
4744300845393805887.zip
├── bin
│ ├── att
│ │ └── grappa
│ │ ├── Attribute.class
│ │ ├── AttributeHandler.class
│ │ ├── CUP$Parser$actions.class
│ │ ├── CustomRenderer.class
│ │ ├── Edge$Enumerator.class
│ │ ├── Edge.class
│ │ ├── Element.class
│ │ ├── ExceptionDisplay$Display$WindowObserver.class
│ │ ├── ExceptionDisplay$Display.class
│ │ ├── ExceptionDisplay.class
│ │ ├── Graph.class
│ │ ├── GraphEnumeration.class
│ │ ├── GraphParserException.class
│ │ ├── GrappaAdapter.class
│ │ ├── GrappaBacker.class
│ │ ├── GrappaBox.class
│ │ ├── Grappa.class
│ │ ├── GrappaColor.class
│ │ ├── GrappaConstants.class
│ │ ├── GrappaLine.class
│ │ ├── GrappaListener.class
│ │ ├── GrappaNexus.class
│ │ ├── GrappaPanel.class
│ │ ├── GrappaPathIterator.class
│ │ ├── GrappaPoint.class
│ │ ├── GrappaShape.class
│ │ ├── GrappaSize.class
│ │ ├── GrappaStyle.class
│ │ ├── GrappaSupport.class
│ │ ├── GrappaSupportPrintf.class
│ │ ├── GrappaSupportRects.class
│ │ ├── Lexer.class
│ │ ├── Node$Enumerator.class
│ │ ├── Node.class
│ │ ├── Parser.class
│ │ ├── PrintfParser.class
│ │ ├── Subgraph$Enumerator.class
│ │ ├── Subgraph.class
│ │ ├── Symbols.class
│ │ └── TableField.class
│ ├── circularbuffers
│ │ ├── BufferOverflowException.class
│ │ ├── CircularByteBuffer$CircularByteBufferInputStream.class
│ │ ├── CircularByteBuffer$CircularByteBufferOutputStream.class
│ │ └── CircularByteBuffer.class
│ ├── 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
│ │ └── using the taskbar.htm
│ ├── Dot Files
│ │ ├── ClassicGSPN.dot
│ │ ├── GSPN1.dot
│ │ └── Readers&Writers.dot
│ ├── 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
│ ├── Images
│ │ ├── About.png
│ │ ├── Add token.png
│ │ ├── Animate.png
│ │ ├── Animation mode.png
│ │ ├── Annotation.png
│ │ ├── Arc.png
│ │ ├── Back.png
│ │ ├── Close.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
│ │ ├── Move.png
│ │ ├── Net.png
│ │ ├── New.png
│ │ ├── Open.png
│ │ ├── Place.png
│ │ ├── PNG.png
│ │ ├── PostScript.png
│ │ ├── Print.png
│ │ ├── Random.png
│ │ ├── Save as.png
│ │ ├── Save.png
│ │ ├── Select.png
│ │ ├── Timed transition.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
│ ├── pipe
│ │ ├── dataLayer
│ │ │ ├── AnnotationNote$AnnotationKeyUpdateHandler.class
│ │ │ ├── AnnotationNote$ResizePoint.class
│ │ │ ├── AnnotationNote$ResizePointHandler.class
│ │ │ ├── AnnotationNote.class
│ │ │ ├── Arc.class
│ │ │ ├── ArcPath.class
│ │ │ ├── ArcPathPoint.class
│ │ │ ├── calculations
│ │ │ │ ├── ArcListElement.class
│ │ │ │ ├── CompressedState.class
│ │ │ │ ├── Marking.class
│ │ │ │ ├── MatrixElement.class
│ │ │ │ ├── myNode.class
│ │ │ │ ├── myTree.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
│ │ │ ├── NameLabel.class
│ │ │ ├── PetriNetObject.class
│ │ │ ├── Place.class
│ │ │ ├── PlaceTransitionObject.class
│ │ │ ├── PNMatrix.class
│ │ │ ├── PNMLTransformer.class
│ │ │ ├── Token.class
│ │ │ ├── Transition$ArcAngleCompare.class
│ │ │ └── Transition.class
│ │ ├── gui
│ │ │ ├── AnimationHandler.class
│ │ │ ├── AnimationHistory.class
│ │ │ ├── Animator$1.class
│ │ │ ├── Animator.class
│ │ │ ├── AnnotationNoteHandler.class
│ │ │ ├── ArcHandler.class
│ │ │ ├── ArcKeyboardEventHandler.class
│ │ │ ├── ArcPathPointHandler.class
│ │ │ ├── ArrowHead.class
│ │ │ ├── Constants.class
│ │ │ ├── CreateGui$TabData.class
│ │ │ ├── CreateGui.class
│ │ │ ├── DeletePetriNetObjectAction.class
│ │ │ ├── EditAnnotationAction.class
│ │ │ ├── EditAnnotationBackgroundAction.class
│ │ │ ├── EditAnnotationBorderAction.class
│ │ │ ├── EditRateAction.class
│ │ │ ├── EditTimedAction.class
│ │ │ ├── EditTokenAction.class
│ │ │ ├── EditWeightAction.class
│ │ │ ├── Export.class
│ │ │ ├── ExtensionFilter.class
│ │ │ ├── ExtFileManager.class
│ │ │ ├── GetIndexAction.class
│ │ │ ├── Grid.class
│ │ │ ├── GuiAction.class
│ │ │ ├── GuiFrame$1.class
│ │ │ ├── GuiFrame$2.class
│ │ │ ├── GuiFrame$3.class
│ │ │ ├── GuiFrame$AnimateAction.class
│ │ │ ├── GuiFrame$DeleteAction.class
│ │ │ ├── GuiFrame$ExampleFileAction.class
│ │ │ ├── GuiFrame$FileAction.class
│ │ │ ├── GuiFrame$GridAction.class
│ │ │ ├── GuiFrame$TypeAction.class
│ │ │ ├── GuiFrame$WindowHandler.class
│ │ │ ├── GuiFrame$ZoomAction.class
│ │ │ ├── GuiFrame.class
│ │ │ ├── GuiView$MouseHandler.class
│ │ │ ├── GuiView.class
│ │ │ ├── HelpBox.class
│ │ │ ├── LabelAction.class
│ │ │ ├── ModuleClassContainer.class
│ │ │ ├── ModuleLoader.class
│ │ │ ├── ModuleManager$RemoveModuleAction.class
│ │ │ ├── ModuleManager$TreeHandler.class
│ │ │ ├── ModuleManager.class
│ │ │ ├── ModuleMethod.class
│ │ │ ├── PetriNetObjectHandler.class
│ │ │ ├── PlaceHandler.class
│ │ │ ├── PlaceTransitionObjectHandler.class
│ │ │ ├── RotateTransitionAction.class
│ │ │ ├── SelectionObject.class
│ │ │ ├── SplitArcAction.class
│ │ │ ├── SplitArcPointAction.class
│ │ │ ├── StatusBar.class
│ │ │ ├── ToggleArcPointAction.class
│ │ │ ├── TransitionHandler.class
│ │ │ ├── ViewExpansionComponent.class
│ │ │ ├── widgets
│ │ │ │ ├── ButtonBar.class
│ │ │ │ ├── FileBrowser.class
│ │ │ │ ├── GraphFrame$1.class
│ │ │ │ ├── GraphFrame.class
│ │ │ │ ├── GraphPanel.class
│ │ │ │ ├── GraphPanelPane$1.class
│ │ │ │ ├── GraphPanelPane.class
│ │ │ │ ├── PetriNetChooserPanel$1.class
│ │ │ │ ├── PetriNetChooserPanel$2.class
│ │ │ │ ├── PetriNetChooserPanel.class
│ │ │ │ ├── ResultsHTMLPane$1.class
│ │ │ │ ├── ResultsHTMLPane$2.class
│ │ │ │ └── ResultsHTMLPane.class
│ │ │ ├── Zoomable.class
│ │ │ └── ZoomController.class
│ │ ├── io
│ │ │ ├── AbortDotFileGenerationException.class
│ │ │ ├── ImmediateAbortException.class
│ │ │ ├── IncorrectFileFormatException.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$3.class
│ │ │ ├── Dnamaca$4.class
│ │ │ ├── Dnamaca$DnamacaRun$ExternalTask$ActualTask.class
│ │ │ ├── Dnamaca$DnamacaRun$ExternalTask.class
│ │ │ ├── Dnamaca$DnamacaRun$TimerListener.class
│ │ │ ├── Dnamaca$DnamacaRun.class
│ │ │ ├── Dnamaca.class
│ │ │ ├── SwingWorker$1.class
│ │ │ ├── SwingWorker$2.class
│ │ │ ├── SwingWorker$ThreadVar.class
│ │ │ └── SwingWorker.class
│ │ ├── gspn
│ │ │ ├── GSPN.class
│ │ │ ├── GSPNNew$1.class
│ │ │ └── GSPNNew.class
│ │ ├── invariantAnalysis
│ │ │ ├── InvariantAnalysis$1.class
│ │ │ └── InvariantAnalysis.class
│ │ ├── matrixes
│ │ │ ├── Matrixes$1.class
│ │ │ └── Matrixes.class
│ │ ├── Module.class
│ │ ├── reachability
│ │ │ ├── ReachabilityGraphGenerator$1.class
│ │ │ └── ReachabilityGraphGenerator.class
│ │ ├── simulation
│ │ │ ├── Simulation$1.class
│ │ │ └── Simulation.class
│ │ └── stateSpace
│ │ ├── StateSpace$1.class
│ │ └── StateSpace.class
│ ├── RunGui.class
│ └── xslt
│ ├── GenerateObjectList.xsl
│ └── GeneratePNML.xsl
├── docs
│ └── api
│ ├── allclasses-frame.html
│ ├── allclasses-noframe.html
│ ├── att
│ │ └── grappa
│ │ ├── AttributeHandler.html
│ │ ├── Attribute.html
│ │ ├── CustomRenderer.html
│ │ ├── Edge.html
│ │ ├── Element.html
│ │ ├── ExceptionDisplay.html
│ │ ├── GraphEnumeration.html
│ │ ├── Graph.html
│ │ ├── GraphParserException.html
│ │ ├── GrappaAdapter.html
│ │ ├── GrappaBacker.html
│ │ ├── GrappaBox.html
│ │ ├── GrappaColor.html
│ │ ├── GrappaConstants.html
│ │ ├── Grappa.html
│ │ ├── GrappaLine.html
│ │ ├── GrappaListener.html
│ │ ├── GrappaNexus.html
│ │ ├── GrappaPanel.html
│ │ ├── GrappaPathIterator.html
│ │ ├── GrappaPoint.html
│ │ ├── GrappaShape.html
│ │ ├── GrappaSize.html
│ │ ├── GrappaStyle.html
│ │ ├── GrappaSupport.html
│ │ ├── GrappaSupportPrintf.html
│ │ ├── GrappaSupportRects.html
│ │ ├── Lexer.html
│ │ ├── Node.html
│ │ ├── package-frame.html
│ │ ├── package-summary.html
│ │ ├── package-tree.html
│ │ ├── Parser.html
│ │ ├── Subgraph.html
│ │ └── Symbols.html
│ ├── circularbuffers
│ │ ├── BufferOverflowException.html
│ │ ├── CircularByteBuffer.CircularByteBufferInputStream.html
│ │ ├── CircularByteBuffer.CircularByteBufferOutputStream.html
│ │ ├── CircularByteBuffer.html
│ │ ├── package-frame.html
│ │ ├── package-summary.html
│ │ └── package-tree.html
│ ├── constant-values.html
│ ├── deprecated-list.html
│ ├── help-doc.html
│ ├── index-all.html
│ ├── index.html
│ ├── jama
│ │ ├── CholeskyDecomposition.html
│ │ ├── EigenvalueDecomposition.html
│ │ ├── LUDecomposition.html
│ │ ├── Matrix.html
│ │ ├── package-frame.html
│ │ ├── package-summary.html
│ │ ├── package-tree.html
│ │ ├── QRDecomposition.html
│ │ ├── SingularValueDecomposition.html
│ │ └── util
│ │ ├── Maths.html
│ │ ├── package-frame.html
│ │ ├── package-summary.html
│ │ └── package-tree.html
│ ├── java_cup
│ │ └── runtime
│ │ ├── lr_parser.html
│ │ ├── package-frame.html
│ │ ├── package-summary.html
│ │ ├── package-tree.html
│ │ ├── Scanner.html
│ │ ├── Symbol.html
│ │ └── virtual_parse_stack.html
│ ├── overview-frame.html
│ ├── overview-summary.html
│ ├── overview-tree.html
│ ├── package-frame.html
│ ├── package-list
│ ├── package-summary.html
│ ├── package-tree.html
│ ├── pipe
│ │ ├── dataLayer
│ │ │ ├── AnnotationNote.AnnotationKeyUpdateHandler.html
│ │ │ ├── AnnotationNote.html
│ │ │ ├── AnnotationNote.ResizePointHandler.html
│ │ │ ├── AnnotationNote.ResizePoint.html
│ │ │ ├── Arc.html
│ │ │ ├── ArcPath.html
│ │ │ ├── ArcPathPoint.html
│ │ │ ├── calculations
│ │ │ │ ├── CompressedState.html
│ │ │ │ ├── Marking.html
│ │ │ │ ├── myNode.html
│ │ │ │ ├── myTree.html
│ │ │ │ ├── package-frame.html
│ │ │ │ ├── package-summary.html
│ │ │ │ ├── package-tree.html
│ │ │ │ ├── Queue.html
│ │ │ │ ├── State.html
│ │ │ │ ├── StateList.html
│ │ │ │ ├── StateSpaceGenerator.html
│ │ │ │ ├── StateSpaceTooBigException.html
│ │ │ │ ├── SteadyStateSolver.html
│ │ │ │ ├── TimelessTrapException.html
│ │ │ │ ├── TreeTooBigException.html
│ │ │ │ └── VanishingState.html
│ │ │ ├── DataLayer.html
│ │ │ ├── DataLayerWriter.html
│ │ │ ├── NameLabel.html
│ │ │ ├── package-frame.html
│ │ │ ├── package-summary.html
│ │ │ ├── package-tree.html
│ │ │ ├── PetriNetObject.html
│ │ │ ├── Place.html
│ │ │ ├── PlaceTransitionObject.html
│ │ │ ├── PNMatrix.html
│ │ │ ├── PNMLTransformer.html
│ │ │ ├── Token.html
│ │ │ └── Transition.html
│ │ ├── gui
│ │ │ ├── AnimationHandler.html
│ │ │ ├── AnimationHistory.html
│ │ │ ├── Animator.html
│ │ │ ├── AnnotationNoteHandler.html
│ │ │ ├── ArcHandler.html
│ │ │ ├── ArcKeyboardEventHandler.html
│ │ │ ├── ArcPathPointHandler.html
│ │ │ ├── ArrowHead.html
│ │ │ ├── Constants.html
│ │ │ ├── CreateGui.html
│ │ │ ├── DeletePetriNetObjectAction.html
│ │ │ ├── EditAnnotationAction.html
│ │ │ ├── EditAnnotationBackgroundAction.html
│ │ │ ├── EditAnnotationBorderAction.html
│ │ │ ├── EditRateAction.html
│ │ │ ├── EditTimedAction.html
│ │ │ ├── EditTokenAction.html
│ │ │ ├── EditWeightAction.html
│ │ │ ├── Export.html
│ │ │ ├── ExtensionFilter.html
│ │ │ ├── ExtFileManager.html
│ │ │ ├── GetIndexAction.html
│ │ │ ├── Grid.html
│ │ │ ├── GuiAction.html
│ │ │ ├── GuiFrame.html
│ │ │ ├── GuiView.html
│ │ │ ├── HelpBox.html
│ │ │ ├── LabelAction.html
│ │ │ ├── ModuleClassContainer.html
│ │ │ ├── ModuleLoader.html
│ │ │ ├── ModuleManager.html
│ │ │ ├── ModuleManager.TreeHandler.html
│ │ │ ├── ModuleMethod.html
│ │ │ ├── package-frame.html
│ │ │ ├── package-summary.html
│ │ │ ├── package-tree.html
│ │ │ ├── PetriNetObjectHandler.html
│ │ │ ├── PlaceHandler.html
│ │ │ ├── PlaceTransitionObjectHandler.html
│ │ │ ├── RotateTransitionAction.html
│ │ │ ├── SelectionObject.html
│ │ │ ├── SplitArcAction.html
│ │ │ ├── SplitArcPointAction.html
│ │ │ ├── StatusBar.html
│ │ │ ├── ToggleArcPointAction.html
│ │ │ ├── TransitionHandler.html
│ │ │ ├── ViewExpansionComponent.html
│ │ │ ├── widgets
│ │ │ │ ├── ButtonBar.html
│ │ │ │ ├── FileBrowser.html
│ │ │ │ ├── GraphFrame.html
│ │ │ │ ├── GraphPanel.html
│ │ │ │ ├── GraphPanelPane.html
│ │ │ │ ├── package-frame.html
│ │ │ │ ├── package-summary.html
│ │ │ │ ├── package-tree.html
│ │ │ │ ├── PetriNetChooserPanel.html
│ │ │ │ └── ResultsHTMLPane.html
│ │ │ ├── Zoomable.html
│ │ │ └── ZoomController.html
│ │ ├── io
│ │ │ ├── AbortDotFileGenerationException.html
│ │ │ ├── ImmediateAbortException.html
│ │ │ ├── IncorrectFileFormatException.html
│ │ │ ├── package-frame.html
│ │ │ ├── package-summary.html
│ │ │ ├── package-tree.html
│ │ │ ├── RGFileHeader.html
│ │ │ ├── StateRecord.html
│ │ │ └── TransitionRecord.html
│ │ └── modules
│ │ ├── classification
│ │ │ ├── Classification.html
│ │ │ ├── package-frame.html
│ │ │ ├── package-summary.html
│ │ │ └── package-tree.html
│ │ ├── comparison
│ │ │ ├── Comparison.html
│ │ │ ├── package-frame.html
│ │ │ ├── package-summary.html
│ │ │ └── package-tree.html
│ │ ├── dnamaca
│ │ │ ├── Dnamaca.html
│ │ │ ├── package-frame.html
│ │ │ ├── package-summary.html
│ │ │ ├── package-tree.html
│ │ │ └── SwingWorker.html
│ │ ├── gspn
│ │ │ ├── GSPN.html
│ │ │ ├── GSPNNew.html
│ │ │ ├── package-frame.html
│ │ │ ├── package-summary.html
│ │ │ └── package-tree.html
│ │ ├── invariantAnalysis
│ │ │ ├── InvariantAnalysis.html
│ │ │ ├── package-frame.html
│ │ │ ├── package-summary.html
│ │ │ └── package-tree.html
│ │ ├── matrixes
│ │ │ ├── Matrixes.html
│ │ │ ├── package-frame.html
│ │ │ ├── package-summary.html
│ │ │ └── package-tree.html
│ │ ├── Module.html
│ │ ├── package-frame.html
│ │ ├── package-summary.html
│ │ ├── package-tree.html
│ │ ├── reachability
│ │ │ ├── package-frame.html
│ │ │ ├── package-summary.html
│ │ │ ├── package-tree.html
│ │ │ └── ReachabilityGraphGenerator.html
│ │ ├── simulation
│ │ │ ├── package-frame.html
│ │ │ ├── package-summary.html
│ │ │ ├── package-tree.html
│ │ │ └── Simulation.html
│ │ └── stateSpace
│ │ ├── package-frame.html
│ │ ├── package-summary.html
│ │ ├── package-tree.html
│ │ └── StateSpace.html
│ ├── resources
│ │ └── inherit.gif
│ ├── RunGui.html
│ ├── serialized-form.html
│ └── stylesheet.css
├── readme.dnamaca.txt
├── readme.txt
├── Resources
│ ├── 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
│ │ └── using the taskbar.htm
│ ├── Dot Files
│ │ ├── ClassicGSPN.dot
│ │ ├── GSPN1.dot
│ │ └── Readers&Writers.dot
│ ├── 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
│ ├── Images
│ │ ├── About.png
│ │ ├── Add token.png
│ │ ├── Animate.png
│ │ ├── Animation mode.png
│ │ ├── Annotation.png
│ │ ├── Arc.png
│ │ ├── Back.png
│ │ ├── Close.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
│ │ ├── Move.png
│ │ ├── Net.png
│ │ ├── New.png
│ │ ├── Open.png
│ │ ├── Place.png
│ │ ├── PNG.png
│ │ ├── PostScript.png
│ │ ├── Print.png
│ │ ├── Random.png
│ │ ├── Save as.png
│ │ ├── Save.png
│ │ ├── Select.png
│ │ ├── Timed transition.png
│ │ ├── Zoom in.png
│ │ ├── Zoom out.png
│ │ └── Zoom.png
│ └── xslt
│ ├── GenerateObjectList.xsl
│ └── GeneratePNML.xsl
├── src
│ ├── att
│ │ └── grappa
│ │ ├── AttributeHandler.java
│ │ ├── Attribute.java
│ │ ├── CustomRenderer.java
│ │ ├── Edge.java
│ │ ├── Element.java
│ │ ├── ExceptionDisplay.java
│ │ ├── GraphEnumeration.java
│ │ ├── Graph.java
│ │ ├── GraphParserException.java
│ │ ├── GrappaAdapter.java
│ │ ├── GrappaBacker.java
│ │ ├── GrappaBox.java
│ │ ├── GrappaColor.java
│ │ ├── GrappaConstants.java
│ │ ├── Grappa.java
│ │ ├── GrappaLine.java
│ │ ├── GrappaListener.java
│ │ ├── GrappaNexus.java
│ │ ├── GrappaPanel.java
│ │ ├── GrappaPathIterator.java
│ │ ├── GrappaPoint.java
│ │ ├── GrappaShape.java
│ │ ├── GrappaSize.java
│ │ ├── GrappaStyle.java
│ │ ├── GrappaSupport.java
│ │ ├── GrappaSupportPrintf.java
│ │ ├── GrappaSupportRects.java
│ │ ├── Lexer.java
│ │ ├── Node.java
│ │ ├── Parser.java
│ │ ├── Subgraph.java
│ │ └── Symbols.java
│ ├── circularbuffers
│ │ ├── BufferOverflowException.java
│ │ └── CircularByteBuffer.java
│ ├── jama
│ │ ├── CholeskyDecomposition.java
│ │ ├── EigenvalueDecomposition.java
│ │ ├── LUDecomposition.java
│ │ ├── Matrix.java
│ │ ├── QRDecomposition.java
│ │ ├── SingularValueDecomposition.java
│ │ └── util
│ │ └── Maths.java
│ ├── java_cup
│ │ └── runtime
│ │ ├── lr_parser.java
│ │ ├── Scanner.java
│ │ ├── Symbol.java
│ │ └── virtual_parse_stack.java
│ ├── pipe
│ │ ├── dataLayer
│ │ │ ├── AnnotationNote.java
│ │ │ ├── Arc.java
│ │ │ ├── ArcPath.java
│ │ │ ├── ArcPathPoint.java
│ │ │ ├── calculations
│ │ │ │ ├── CompressedState.java
│ │ │ │ ├── Marking.java
│ │ │ │ ├── myNode.java
│ │ │ │ ├── myTree.java
│ │ │ │ ├── Queue.java
│ │ │ │ ├── State.java
│ │ │ │ ├── StateList.java
│ │ │ │ ├── StateSpaceGenerator.java
│ │ │ │ ├── StateSpaceTooBigException.java
│ │ │ │ ├── SteadyStateSolver.java
│ │ │ │ ├── TimelessTrapException.java
│ │ │ │ ├── TreeTooBigException.java
│ │ │ │ └── VanishingState.java
│ │ │ ├── DataLayer.java
│ │ │ ├── DataLayerWriter.java
│ │ │ ├── NameLabel.java
│ │ │ ├── PetriNetObject.java
│ │ │ ├── Place.java
│ │ │ ├── PlaceTransitionObject.java
│ │ │ ├── PNMatrix.java
│ │ │ ├── PNMLTransformer.java
│ │ │ ├── Token.java
│ │ │ └── Transition.java
│ │ ├── gui
│ │ │ ├── AnimationHandler.java
│ │ │ ├── AnimationHistory.java
│ │ │ ├── Animator.java
│ │ │ ├── AnnotationNoteHandler.java
│ │ │ ├── ArcHandler.java
│ │ │ ├── ArcKeyboardEventHandler.java
│ │ │ ├── ArcPathPointHandler.java
│ │ │ ├── ArrowHead.java
│ │ │ ├── Constants.java
│ │ │ ├── CreateGui.java
│ │ │ ├── DeletePetriNetObjectAction.java
│ │ │ ├── EditAnnotationAction.java
│ │ │ ├── EditAnnotationBackgroundAction.java
│ │ │ ├── EditAnnotationBorderAction.java
│ │ │ ├── EditRateAction.java
│ │ │ ├── EditTimedAction.java
│ │ │ ├── EditTokenAction.java
│ │ │ ├── EditWeightAction.java
│ │ │ ├── Export.java
│ │ │ ├── ExtensionFilter.java
│ │ │ ├── ExtFileManager.java
│ │ │ ├── GetIndexAction.java
│ │ │ ├── Grid.java
│ │ │ ├── GuiAction.java
│ │ │ ├── GuiFrame.java
│ │ │ ├── GuiView.java
│ │ │ ├── HelpBox.java
│ │ │ ├── LabelAction.java
│ │ │ ├── ModuleClassContainer.java
│ │ │ ├── ModuleLoader.java
│ │ │ ├── ModuleManager.java
│ │ │ ├── ModuleMethod.java
│ │ │ ├── PetriNetObjectHandler.java
│ │ │ ├── PlaceHandler.java
│ │ │ ├── PlaceTransitionObjectHandler.java
│ │ │ ├── RotateTransitionAction.java
│ │ │ ├── SelectionObject.java
│ │ │ ├── SplitArcAction.java
│ │ │ ├── SplitArcPointAction.java
│ │ │ ├── StatusBar.java
│ │ │ ├── ToggleArcPointAction.java
│ │ │ ├── TransitionHandler.java
│ │ │ ├── ViewExpansionComponent.java
│ │ │ ├── widgets
│ │ │ │ ├── ButtonBar.java
│ │ │ │ ├── FileBrowser.java
│ │ │ │ ├── GraphFrame.java
│ │ │ │ ├── GraphPanel.java
│ │ │ │ ├── GraphPanelPane.java
│ │ │ │ ├── PetriNetChooserPanel.java
│ │ │ │ └── ResultsHTMLPane.java
│ │ │ ├── Zoomable.java
│ │ │ └── ZoomController.java
│ │ ├── io
│ │ │ ├── AbortDotFileGenerationException.java
│ │ │ ├── ImmediateAbortException.java
│ │ │ ├── IncorrectFileFormatException.java
│ │ │ ├── RGFileHeader.java
│ │ │ ├── StateRecord.java
│ │ │ └── TransitionRecord.java
│ │ └── modules
│ │ ├── classification
│ │ │ └── Classification.java
│ │ ├── comparison
│ │ │ └── Comparison.java
│ │ ├── dnamaca
│ │ │ ├── Dnamaca.java
│ │ │ └── SwingWorker.java
│ │ ├── gspn
│ │ │ ├── GSPN.java
│ │ │ └── GSPNNew.java
│ │ ├── invariantAnalysis
│ │ │ └── InvariantAnalysis.java
│ │ ├── matrixes
│ │ │ └── Matrixes.java
│ │ ├── Module.java
│ │ ├── reachability
│ │ │ └── ReachabilityGraphGenerator.java
│ │ ├── simulation
│ │ │ └── Simulation.java
│ │ └── stateSpace
│ │ └── StateSpace.java
│ └── RunGui.java
└── test
├── abbot
│ └── tester
│ └── extensions
│ └── ArcTester.java
├── functional
│ ├── AnalysisWindowOperationScript.xml
│ ├── AnimationReplayTestScript.xml
│ ├── MenuAndButtonOperationScript.xml
│ └── ZoomTestScript.xml
├── lib
│ ├── abbot.jar
│ ├── bsh.jar
│ ├── example.jar
│ ├── gnu-regexp.jar
│ ├── jdom.jar
│ ├── jgraph.jar
│ ├── junit.jar
│ ├── serializer.jar
│ ├── xalan.jar
│ ├── xerces.jar
│ └── xml-apis.jar
├── pipe
│ ├── AllTests.java
│ ├── dataLayer
│ │ ├── calculations
│ │ │ └── StateSpaceGeneratorTest.java
│ │ └── GuiViewTest.java
│ ├── gui
│ │ ├── FunctionalScriptsTest.java
│ │ └── GuiFrameTest.java
│ ├── io
│ │ ├── ModuleManagerTest.java
│ │ ├── StateRecordTest.java
│ │ └── TransitionRecordTest.java
│ └── modules
│ ├── gspn
│ │ └── GSPNAnalysisTest.java
│ ├── invariantAnalysis
│ │ └── InvariantAnalysisTest.java
│ └── reachabilityGraphGenerator
│ ├── ReachabilityGraphGeneratorTest.java
│ └── ReachabilityGraphTest.java
└── resources
└── ClassicGSPN.xml
103 directories, 859 files
petri编辑工具Pipe2源码,java写的
【实例截图】
【核心代码】
4744300845393805887.zip
├── bin
│ ├── att
│ │ └── grappa
│ │ ├── Attribute.class
│ │ ├── AttributeHandler.class
│ │ ├── CUP$Parser$actions.class
│ │ ├── CustomRenderer.class
│ │ ├── Edge$Enumerator.class
│ │ ├── Edge.class
│ │ ├── Element.class
│ │ ├── ExceptionDisplay$Display$WindowObserver.class
│ │ ├── ExceptionDisplay$Display.class
│ │ ├── ExceptionDisplay.class
│ │ ├── Graph.class
│ │ ├── GraphEnumeration.class
│ │ ├── GraphParserException.class
│ │ ├── GrappaAdapter.class
│ │ ├── GrappaBacker.class
│ │ ├── GrappaBox.class
│ │ ├── Grappa.class
│ │ ├── GrappaColor.class
│ │ ├── GrappaConstants.class
│ │ ├── GrappaLine.class
│ │ ├── GrappaListener.class
│ │ ├── GrappaNexus.class
│ │ ├── GrappaPanel.class
│ │ ├── GrappaPathIterator.class
│ │ ├── GrappaPoint.class
│ │ ├── GrappaShape.class
│ │ ├── GrappaSize.class
│ │ ├── GrappaStyle.class
│ │ ├── GrappaSupport.class
│ │ ├── GrappaSupportPrintf.class
│ │ ├── GrappaSupportRects.class
│ │ ├── Lexer.class
│ │ ├── Node$Enumerator.class
│ │ ├── Node.class
│ │ ├── Parser.class
│ │ ├── PrintfParser.class
│ │ ├── Subgraph$Enumerator.class
│ │ ├── Subgraph.class
│ │ ├── Symbols.class
│ │ └── TableField.class
│ ├── circularbuffers
│ │ ├── BufferOverflowException.class
│ │ ├── CircularByteBuffer$CircularByteBufferInputStream.class
│ │ ├── CircularByteBuffer$CircularByteBufferOutputStream.class
│ │ └── CircularByteBuffer.class
│ ├── 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
│ │ └── using the taskbar.htm
│ ├── Dot Files
│ │ ├── ClassicGSPN.dot
│ │ ├── GSPN1.dot
│ │ └── Readers&Writers.dot
│ ├── 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
│ ├── Images
│ │ ├── About.png
│ │ ├── Add token.png
│ │ ├── Animate.png
│ │ ├── Animation mode.png
│ │ ├── Annotation.png
│ │ ├── Arc.png
│ │ ├── Back.png
│ │ ├── Close.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
│ │ ├── Move.png
│ │ ├── Net.png
│ │ ├── New.png
│ │ ├── Open.png
│ │ ├── Place.png
│ │ ├── PNG.png
│ │ ├── PostScript.png
│ │ ├── Print.png
│ │ ├── Random.png
│ │ ├── Save as.png
│ │ ├── Save.png
│ │ ├── Select.png
│ │ ├── Timed transition.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
│ ├── pipe
│ │ ├── dataLayer
│ │ │ ├── AnnotationNote$AnnotationKeyUpdateHandler.class
│ │ │ ├── AnnotationNote$ResizePoint.class
│ │ │ ├── AnnotationNote$ResizePointHandler.class
│ │ │ ├── AnnotationNote.class
│ │ │ ├── Arc.class
│ │ │ ├── ArcPath.class
│ │ │ ├── ArcPathPoint.class
│ │ │ ├── calculations
│ │ │ │ ├── ArcListElement.class
│ │ │ │ ├── CompressedState.class
│ │ │ │ ├── Marking.class
│ │ │ │ ├── MatrixElement.class
│ │ │ │ ├── myNode.class
│ │ │ │ ├── myTree.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
│ │ │ ├── NameLabel.class
│ │ │ ├── PetriNetObject.class
│ │ │ ├── Place.class
│ │ │ ├── PlaceTransitionObject.class
│ │ │ ├── PNMatrix.class
│ │ │ ├── PNMLTransformer.class
│ │ │ ├── Token.class
│ │ │ ├── Transition$ArcAngleCompare.class
│ │ │ └── Transition.class
│ │ ├── gui
│ │ │ ├── AnimationHandler.class
│ │ │ ├── AnimationHistory.class
│ │ │ ├── Animator$1.class
│ │ │ ├── Animator.class
│ │ │ ├── AnnotationNoteHandler.class
│ │ │ ├── ArcHandler.class
│ │ │ ├── ArcKeyboardEventHandler.class
│ │ │ ├── ArcPathPointHandler.class
│ │ │ ├── ArrowHead.class
│ │ │ ├── Constants.class
│ │ │ ├── CreateGui$TabData.class
│ │ │ ├── CreateGui.class
│ │ │ ├── DeletePetriNetObjectAction.class
│ │ │ ├── EditAnnotationAction.class
│ │ │ ├── EditAnnotationBackgroundAction.class
│ │ │ ├── EditAnnotationBorderAction.class
│ │ │ ├── EditRateAction.class
│ │ │ ├── EditTimedAction.class
│ │ │ ├── EditTokenAction.class
│ │ │ ├── EditWeightAction.class
│ │ │ ├── Export.class
│ │ │ ├── ExtensionFilter.class
│ │ │ ├── ExtFileManager.class
│ │ │ ├── GetIndexAction.class
│ │ │ ├── Grid.class
│ │ │ ├── GuiAction.class
│ │ │ ├── GuiFrame$1.class
│ │ │ ├── GuiFrame$2.class
│ │ │ ├── GuiFrame$3.class
│ │ │ ├── GuiFrame$AnimateAction.class
│ │ │ ├── GuiFrame$DeleteAction.class
│ │ │ ├── GuiFrame$ExampleFileAction.class
│ │ │ ├── GuiFrame$FileAction.class
│ │ │ ├── GuiFrame$GridAction.class
│ │ │ ├── GuiFrame$TypeAction.class
│ │ │ ├── GuiFrame$WindowHandler.class
│ │ │ ├── GuiFrame$ZoomAction.class
│ │ │ ├── GuiFrame.class
│ │ │ ├── GuiView$MouseHandler.class
│ │ │ ├── GuiView.class
│ │ │ ├── HelpBox.class
│ │ │ ├── LabelAction.class
│ │ │ ├── ModuleClassContainer.class
│ │ │ ├── ModuleLoader.class
│ │ │ ├── ModuleManager$RemoveModuleAction.class
│ │ │ ├── ModuleManager$TreeHandler.class
│ │ │ ├── ModuleManager.class
│ │ │ ├── ModuleMethod.class
│ │ │ ├── PetriNetObjectHandler.class
│ │ │ ├── PlaceHandler.class
│ │ │ ├── PlaceTransitionObjectHandler.class
│ │ │ ├── RotateTransitionAction.class
│ │ │ ├── SelectionObject.class
│ │ │ ├── SplitArcAction.class
│ │ │ ├── SplitArcPointAction.class
│ │ │ ├── StatusBar.class
│ │ │ ├── ToggleArcPointAction.class
│ │ │ ├── TransitionHandler.class
│ │ │ ├── ViewExpansionComponent.class
│ │ │ ├── widgets
│ │ │ │ ├── ButtonBar.class
│ │ │ │ ├── FileBrowser.class
│ │ │ │ ├── GraphFrame$1.class
│ │ │ │ ├── GraphFrame.class
│ │ │ │ ├── GraphPanel.class
│ │ │ │ ├── GraphPanelPane$1.class
│ │ │ │ ├── GraphPanelPane.class
│ │ │ │ ├── PetriNetChooserPanel$1.class
│ │ │ │ ├── PetriNetChooserPanel$2.class
│ │ │ │ ├── PetriNetChooserPanel.class
│ │ │ │ ├── ResultsHTMLPane$1.class
│ │ │ │ ├── ResultsHTMLPane$2.class
│ │ │ │ └── ResultsHTMLPane.class
│ │ │ ├── Zoomable.class
│ │ │ └── ZoomController.class
│ │ ├── io
│ │ │ ├── AbortDotFileGenerationException.class
│ │ │ ├── ImmediateAbortException.class
│ │ │ ├── IncorrectFileFormatException.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$3.class
│ │ │ ├── Dnamaca$4.class
│ │ │ ├── Dnamaca$DnamacaRun$ExternalTask$ActualTask.class
│ │ │ ├── Dnamaca$DnamacaRun$ExternalTask.class
│ │ │ ├── Dnamaca$DnamacaRun$TimerListener.class
│ │ │ ├── Dnamaca$DnamacaRun.class
│ │ │ ├── Dnamaca.class
│ │ │ ├── SwingWorker$1.class
│ │ │ ├── SwingWorker$2.class
│ │ │ ├── SwingWorker$ThreadVar.class
│ │ │ └── SwingWorker.class
│ │ ├── gspn
│ │ │ ├── GSPN.class
│ │ │ ├── GSPNNew$1.class
│ │ │ └── GSPNNew.class
│ │ ├── invariantAnalysis
│ │ │ ├── InvariantAnalysis$1.class
│ │ │ └── InvariantAnalysis.class
│ │ ├── matrixes
│ │ │ ├── Matrixes$1.class
│ │ │ └── Matrixes.class
│ │ ├── Module.class
│ │ ├── reachability
│ │ │ ├── ReachabilityGraphGenerator$1.class
│ │ │ └── ReachabilityGraphGenerator.class
│ │ ├── simulation
│ │ │ ├── Simulation$1.class
│ │ │ └── Simulation.class
│ │ └── stateSpace
│ │ ├── StateSpace$1.class
│ │ └── StateSpace.class
│ ├── RunGui.class
│ └── xslt
│ ├── GenerateObjectList.xsl
│ └── GeneratePNML.xsl
├── docs
│ └── api
│ ├── allclasses-frame.html
│ ├── allclasses-noframe.html
│ ├── att
│ │ └── grappa
│ │ ├── AttributeHandler.html
│ │ ├── Attribute.html
│ │ ├── CustomRenderer.html
│ │ ├── Edge.html
│ │ ├── Element.html
│ │ ├── ExceptionDisplay.html
│ │ ├── GraphEnumeration.html
│ │ ├── Graph.html
│ │ ├── GraphParserException.html
│ │ ├── GrappaAdapter.html
│ │ ├── GrappaBacker.html
│ │ ├── GrappaBox.html
│ │ ├── GrappaColor.html
│ │ ├── GrappaConstants.html
│ │ ├── Grappa.html
│ │ ├── GrappaLine.html
│ │ ├── GrappaListener.html
│ │ ├── GrappaNexus.html
│ │ ├── GrappaPanel.html
│ │ ├── GrappaPathIterator.html
│ │ ├── GrappaPoint.html
│ │ ├── GrappaShape.html
│ │ ├── GrappaSize.html
│ │ ├── GrappaStyle.html
│ │ ├── GrappaSupport.html
│ │ ├── GrappaSupportPrintf.html
│ │ ├── GrappaSupportRects.html
│ │ ├── Lexer.html
│ │ ├── Node.html
│ │ ├── package-frame.html
│ │ ├── package-summary.html
│ │ ├── package-tree.html
│ │ ├── Parser.html
│ │ ├── Subgraph.html
│ │ └── Symbols.html
│ ├── circularbuffers
│ │ ├── BufferOverflowException.html
│ │ ├── CircularByteBuffer.CircularByteBufferInputStream.html
│ │ ├── CircularByteBuffer.CircularByteBufferOutputStream.html
│ │ ├── CircularByteBuffer.html
│ │ ├── package-frame.html
│ │ ├── package-summary.html
│ │ └── package-tree.html
│ ├── constant-values.html
│ ├── deprecated-list.html
│ ├── help-doc.html
│ ├── index-all.html
│ ├── index.html
│ ├── jama
│ │ ├── CholeskyDecomposition.html
│ │ ├── EigenvalueDecomposition.html
│ │ ├── LUDecomposition.html
│ │ ├── Matrix.html
│ │ ├── package-frame.html
│ │ ├── package-summary.html
│ │ ├── package-tree.html
│ │ ├── QRDecomposition.html
│ │ ├── SingularValueDecomposition.html
│ │ └── util
│ │ ├── Maths.html
│ │ ├── package-frame.html
│ │ ├── package-summary.html
│ │ └── package-tree.html
│ ├── java_cup
│ │ └── runtime
│ │ ├── lr_parser.html
│ │ ├── package-frame.html
│ │ ├── package-summary.html
│ │ ├── package-tree.html
│ │ ├── Scanner.html
│ │ ├── Symbol.html
│ │ └── virtual_parse_stack.html
│ ├── overview-frame.html
│ ├── overview-summary.html
│ ├── overview-tree.html
│ ├── package-frame.html
│ ├── package-list
│ ├── package-summary.html
│ ├── package-tree.html
│ ├── pipe
│ │ ├── dataLayer
│ │ │ ├── AnnotationNote.AnnotationKeyUpdateHandler.html
│ │ │ ├── AnnotationNote.html
│ │ │ ├── AnnotationNote.ResizePointHandler.html
│ │ │ ├── AnnotationNote.ResizePoint.html
│ │ │ ├── Arc.html
│ │ │ ├── ArcPath.html
│ │ │ ├── ArcPathPoint.html
│ │ │ ├── calculations
│ │ │ │ ├── CompressedState.html
│ │ │ │ ├── Marking.html
│ │ │ │ ├── myNode.html
│ │ │ │ ├── myTree.html
│ │ │ │ ├── package-frame.html
│ │ │ │ ├── package-summary.html
│ │ │ │ ├── package-tree.html
│ │ │ │ ├── Queue.html
│ │ │ │ ├── State.html
│ │ │ │ ├── StateList.html
│ │ │ │ ├── StateSpaceGenerator.html
│ │ │ │ ├── StateSpaceTooBigException.html
│ │ │ │ ├── SteadyStateSolver.html
│ │ │ │ ├── TimelessTrapException.html
│ │ │ │ ├── TreeTooBigException.html
│ │ │ │ └── VanishingState.html
│ │ │ ├── DataLayer.html
│ │ │ ├── DataLayerWriter.html
│ │ │ ├── NameLabel.html
│ │ │ ├── package-frame.html
│ │ │ ├── package-summary.html
│ │ │ ├── package-tree.html
│ │ │ ├── PetriNetObject.html
│ │ │ ├── Place.html
│ │ │ ├── PlaceTransitionObject.html
│ │ │ ├── PNMatrix.html
│ │ │ ├── PNMLTransformer.html
│ │ │ ├── Token.html
│ │ │ └── Transition.html
│ │ ├── gui
│ │ │ ├── AnimationHandler.html
│ │ │ ├── AnimationHistory.html
│ │ │ ├── Animator.html
│ │ │ ├── AnnotationNoteHandler.html
│ │ │ ├── ArcHandler.html
│ │ │ ├── ArcKeyboardEventHandler.html
│ │ │ ├── ArcPathPointHandler.html
│ │ │ ├── ArrowHead.html
│ │ │ ├── Constants.html
│ │ │ ├── CreateGui.html
│ │ │ ├── DeletePetriNetObjectAction.html
│ │ │ ├── EditAnnotationAction.html
│ │ │ ├── EditAnnotationBackgroundAction.html
│ │ │ ├── EditAnnotationBorderAction.html
│ │ │ ├── EditRateAction.html
│ │ │ ├── EditTimedAction.html
│ │ │ ├── EditTokenAction.html
│ │ │ ├── EditWeightAction.html
│ │ │ ├── Export.html
│ │ │ ├── ExtensionFilter.html
│ │ │ ├── ExtFileManager.html
│ │ │ ├── GetIndexAction.html
│ │ │ ├── Grid.html
│ │ │ ├── GuiAction.html
│ │ │ ├── GuiFrame.html
│ │ │ ├── GuiView.html
│ │ │ ├── HelpBox.html
│ │ │ ├── LabelAction.html
│ │ │ ├── ModuleClassContainer.html
│ │ │ ├── ModuleLoader.html
│ │ │ ├── ModuleManager.html
│ │ │ ├── ModuleManager.TreeHandler.html
│ │ │ ├── ModuleMethod.html
│ │ │ ├── package-frame.html
│ │ │ ├── package-summary.html
│ │ │ ├── package-tree.html
│ │ │ ├── PetriNetObjectHandler.html
│ │ │ ├── PlaceHandler.html
│ │ │ ├── PlaceTransitionObjectHandler.html
│ │ │ ├── RotateTransitionAction.html
│ │ │ ├── SelectionObject.html
│ │ │ ├── SplitArcAction.html
│ │ │ ├── SplitArcPointAction.html
│ │ │ ├── StatusBar.html
│ │ │ ├── ToggleArcPointAction.html
│ │ │ ├── TransitionHandler.html
│ │ │ ├── ViewExpansionComponent.html
│ │ │ ├── widgets
│ │ │ │ ├── ButtonBar.html
│ │ │ │ ├── FileBrowser.html
│ │ │ │ ├── GraphFrame.html
│ │ │ │ ├── GraphPanel.html
│ │ │ │ ├── GraphPanelPane.html
│ │ │ │ ├── package-frame.html
│ │ │ │ ├── package-summary.html
│ │ │ │ ├── package-tree.html
│ │ │ │ ├── PetriNetChooserPanel.html
│ │ │ │ └── ResultsHTMLPane.html
│ │ │ ├── Zoomable.html
│ │ │ └── ZoomController.html
│ │ ├── io
│ │ │ ├── AbortDotFileGenerationException.html
│ │ │ ├── ImmediateAbortException.html
│ │ │ ├── IncorrectFileFormatException.html
│ │ │ ├── package-frame.html
│ │ │ ├── package-summary.html
│ │ │ ├── package-tree.html
│ │ │ ├── RGFileHeader.html
│ │ │ ├── StateRecord.html
│ │ │ └── TransitionRecord.html
│ │ └── modules
│ │ ├── classification
│ │ │ ├── Classification.html
│ │ │ ├── package-frame.html
│ │ │ ├── package-summary.html
│ │ │ └── package-tree.html
│ │ ├── comparison
│ │ │ ├── Comparison.html
│ │ │ ├── package-frame.html
│ │ │ ├── package-summary.html
│ │ │ └── package-tree.html
│ │ ├── dnamaca
│ │ │ ├── Dnamaca.html
│ │ │ ├── package-frame.html
│ │ │ ├── package-summary.html
│ │ │ ├── package-tree.html
│ │ │ └── SwingWorker.html
│ │ ├── gspn
│ │ │ ├── GSPN.html
│ │ │ ├── GSPNNew.html
│ │ │ ├── package-frame.html
│ │ │ ├── package-summary.html
│ │ │ └── package-tree.html
│ │ ├── invariantAnalysis
│ │ │ ├── InvariantAnalysis.html
│ │ │ ├── package-frame.html
│ │ │ ├── package-summary.html
│ │ │ └── package-tree.html
│ │ ├── matrixes
│ │ │ ├── Matrixes.html
│ │ │ ├── package-frame.html
│ │ │ ├── package-summary.html
│ │ │ └── package-tree.html
│ │ ├── Module.html
│ │ ├── package-frame.html
│ │ ├── package-summary.html
│ │ ├── package-tree.html
│ │ ├── reachability
│ │ │ ├── package-frame.html
│ │ │ ├── package-summary.html
│ │ │ ├── package-tree.html
│ │ │ └── ReachabilityGraphGenerator.html
│ │ ├── simulation
│ │ │ ├── package-frame.html
│ │ │ ├── package-summary.html
│ │ │ ├── package-tree.html
│ │ │ └── Simulation.html
│ │ └── stateSpace
│ │ ├── package-frame.html
│ │ ├── package-summary.html
│ │ ├── package-tree.html
│ │ └── StateSpace.html
│ ├── resources
│ │ └── inherit.gif
│ ├── RunGui.html
│ ├── serialized-form.html
│ └── stylesheet.css
├── readme.dnamaca.txt
├── readme.txt
├── Resources
│ ├── 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
│ │ └── using the taskbar.htm
│ ├── Dot Files
│ │ ├── ClassicGSPN.dot
│ │ ├── GSPN1.dot
│ │ └── Readers&Writers.dot
│ ├── 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
│ ├── Images
│ │ ├── About.png
│ │ ├── Add token.png
│ │ ├── Animate.png
│ │ ├── Animation mode.png
│ │ ├── Annotation.png
│ │ ├── Arc.png
│ │ ├── Back.png
│ │ ├── Close.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
│ │ ├── Move.png
│ │ ├── Net.png
│ │ ├── New.png
│ │ ├── Open.png
│ │ ├── Place.png
│ │ ├── PNG.png
│ │ ├── PostScript.png
│ │ ├── Print.png
│ │ ├── Random.png
│ │ ├── Save as.png
│ │ ├── Save.png
│ │ ├── Select.png
│ │ ├── Timed transition.png
│ │ ├── Zoom in.png
│ │ ├── Zoom out.png
│ │ └── Zoom.png
│ └── xslt
│ ├── GenerateObjectList.xsl
│ └── GeneratePNML.xsl
├── src
│ ├── att
│ │ └── grappa
│ │ ├── AttributeHandler.java
│ │ ├── Attribute.java
│ │ ├── CustomRenderer.java
│ │ ├── Edge.java
│ │ ├── Element.java
│ │ ├── ExceptionDisplay.java
│ │ ├── GraphEnumeration.java
│ │ ├── Graph.java
│ │ ├── GraphParserException.java
│ │ ├── GrappaAdapter.java
│ │ ├── GrappaBacker.java
│ │ ├── GrappaBox.java
│ │ ├── GrappaColor.java
│ │ ├── GrappaConstants.java
│ │ ├── Grappa.java
│ │ ├── GrappaLine.java
│ │ ├── GrappaListener.java
│ │ ├── GrappaNexus.java
│ │ ├── GrappaPanel.java
│ │ ├── GrappaPathIterator.java
│ │ ├── GrappaPoint.java
│ │ ├── GrappaShape.java
│ │ ├── GrappaSize.java
│ │ ├── GrappaStyle.java
│ │ ├── GrappaSupport.java
│ │ ├── GrappaSupportPrintf.java
│ │ ├── GrappaSupportRects.java
│ │ ├── Lexer.java
│ │ ├── Node.java
│ │ ├── Parser.java
│ │ ├── Subgraph.java
│ │ └── Symbols.java
│ ├── circularbuffers
│ │ ├── BufferOverflowException.java
│ │ └── CircularByteBuffer.java
│ ├── jama
│ │ ├── CholeskyDecomposition.java
│ │ ├── EigenvalueDecomposition.java
│ │ ├── LUDecomposition.java
│ │ ├── Matrix.java
│ │ ├── QRDecomposition.java
│ │ ├── SingularValueDecomposition.java
│ │ └── util
│ │ └── Maths.java
│ ├── java_cup
│ │ └── runtime
│ │ ├── lr_parser.java
│ │ ├── Scanner.java
│ │ ├── Symbol.java
│ │ └── virtual_parse_stack.java
│ ├── pipe
│ │ ├── dataLayer
│ │ │ ├── AnnotationNote.java
│ │ │ ├── Arc.java
│ │ │ ├── ArcPath.java
│ │ │ ├── ArcPathPoint.java
│ │ │ ├── calculations
│ │ │ │ ├── CompressedState.java
│ │ │ │ ├── Marking.java
│ │ │ │ ├── myNode.java
│ │ │ │ ├── myTree.java
│ │ │ │ ├── Queue.java
│ │ │ │ ├── State.java
│ │ │ │ ├── StateList.java
│ │ │ │ ├── StateSpaceGenerator.java
│ │ │ │ ├── StateSpaceTooBigException.java
│ │ │ │ ├── SteadyStateSolver.java
│ │ │ │ ├── TimelessTrapException.java
│ │ │ │ ├── TreeTooBigException.java
│ │ │ │ └── VanishingState.java
│ │ │ ├── DataLayer.java
│ │ │ ├── DataLayerWriter.java
│ │ │ ├── NameLabel.java
│ │ │ ├── PetriNetObject.java
│ │ │ ├── Place.java
│ │ │ ├── PlaceTransitionObject.java
│ │ │ ├── PNMatrix.java
│ │ │ ├── PNMLTransformer.java
│ │ │ ├── Token.java
│ │ │ └── Transition.java
│ │ ├── gui
│ │ │ ├── AnimationHandler.java
│ │ │ ├── AnimationHistory.java
│ │ │ ├── Animator.java
│ │ │ ├── AnnotationNoteHandler.java
│ │ │ ├── ArcHandler.java
│ │ │ ├── ArcKeyboardEventHandler.java
│ │ │ ├── ArcPathPointHandler.java
│ │ │ ├── ArrowHead.java
│ │ │ ├── Constants.java
│ │ │ ├── CreateGui.java
│ │ │ ├── DeletePetriNetObjectAction.java
│ │ │ ├── EditAnnotationAction.java
│ │ │ ├── EditAnnotationBackgroundAction.java
│ │ │ ├── EditAnnotationBorderAction.java
│ │ │ ├── EditRateAction.java
│ │ │ ├── EditTimedAction.java
│ │ │ ├── EditTokenAction.java
│ │ │ ├── EditWeightAction.java
│ │ │ ├── Export.java
│ │ │ ├── ExtensionFilter.java
│ │ │ ├── ExtFileManager.java
│ │ │ ├── GetIndexAction.java
│ │ │ ├── Grid.java
│ │ │ ├── GuiAction.java
│ │ │ ├── GuiFrame.java
│ │ │ ├── GuiView.java
│ │ │ ├── HelpBox.java
│ │ │ ├── LabelAction.java
│ │ │ ├── ModuleClassContainer.java
│ │ │ ├── ModuleLoader.java
│ │ │ ├── ModuleManager.java
│ │ │ ├── ModuleMethod.java
│ │ │ ├── PetriNetObjectHandler.java
│ │ │ ├── PlaceHandler.java
│ │ │ ├── PlaceTransitionObjectHandler.java
│ │ │ ├── RotateTransitionAction.java
│ │ │ ├── SelectionObject.java
│ │ │ ├── SplitArcAction.java
│ │ │ ├── SplitArcPointAction.java
│ │ │ ├── StatusBar.java
│ │ │ ├── ToggleArcPointAction.java
│ │ │ ├── TransitionHandler.java
│ │ │ ├── ViewExpansionComponent.java
│ │ │ ├── widgets
│ │ │ │ ├── ButtonBar.java
│ │ │ │ ├── FileBrowser.java
│ │ │ │ ├── GraphFrame.java
│ │ │ │ ├── GraphPanel.java
│ │ │ │ ├── GraphPanelPane.java
│ │ │ │ ├── PetriNetChooserPanel.java
│ │ │ │ └── ResultsHTMLPane.java
│ │ │ ├── Zoomable.java
│ │ │ └── ZoomController.java
│ │ ├── io
│ │ │ ├── AbortDotFileGenerationException.java
│ │ │ ├── ImmediateAbortException.java
│ │ │ ├── IncorrectFileFormatException.java
│ │ │ ├── RGFileHeader.java
│ │ │ ├── StateRecord.java
│ │ │ └── TransitionRecord.java
│ │ └── modules
│ │ ├── classification
│ │ │ └── Classification.java
│ │ ├── comparison
│ │ │ └── Comparison.java
│ │ ├── dnamaca
│ │ │ ├── Dnamaca.java
│ │ │ └── SwingWorker.java
│ │ ├── gspn
│ │ │ ├── GSPN.java
│ │ │ └── GSPNNew.java
│ │ ├── invariantAnalysis
│ │ │ └── InvariantAnalysis.java
│ │ ├── matrixes
│ │ │ └── Matrixes.java
│ │ ├── Module.java
│ │ ├── reachability
│ │ │ └── ReachabilityGraphGenerator.java
│ │ ├── simulation
│ │ │ └── Simulation.java
│ │ └── stateSpace
│ │ └── StateSpace.java
│ └── RunGui.java
└── test
├── abbot
│ └── tester
│ └── extensions
│ └── ArcTester.java
├── functional
│ ├── AnalysisWindowOperationScript.xml
│ ├── AnimationReplayTestScript.xml
│ ├── MenuAndButtonOperationScript.xml
│ └── ZoomTestScript.xml
├── lib
│ ├── abbot.jar
│ ├── bsh.jar
│ ├── example.jar
│ ├── gnu-regexp.jar
│ ├── jdom.jar
│ ├── jgraph.jar
│ ├── junit.jar
│ ├── serializer.jar
│ ├── xalan.jar
│ ├── xerces.jar
│ └── xml-apis.jar
├── pipe
│ ├── AllTests.java
│ ├── dataLayer
│ │ ├── calculations
│ │ │ └── StateSpaceGeneratorTest.java
│ │ └── GuiViewTest.java
│ ├── gui
│ │ ├── FunctionalScriptsTest.java
│ │ └── GuiFrameTest.java
│ ├── io
│ │ ├── ModuleManagerTest.java
│ │ ├── StateRecordTest.java
│ │ └── TransitionRecordTest.java
│ └── modules
│ ├── gspn
│ │ └── GSPNAnalysisTest.java
│ ├── invariantAnalysis
│ │ └── InvariantAnalysisTest.java
│ └── reachabilityGraphGenerator
│ ├── ReachabilityGraphGeneratorTest.java
│ └── ReachabilityGraphTest.java
└── resources
└── ClassicGSPN.xml
103 directories, 859 files
标签：
好例子网口号：伸出你的我的手 — 分享！
小贴士
感谢您为本站写下的评论，您的评论对其它用户来说具有重要的参考价值，所以请认真填写。
- 类似“顶”、“沙发”之类没有营养的文字，对勤劳贡献的楼主来说是令人沮丧的反馈信息。
- 相信您也不想看到一排文字/表情墙，所以请不要反馈意义不大的重复字符，也请尽量不要纯表情的回复。
- 提问之前请再仔细看一遍楼主的说明，或许是您遗漏了。
- 请勿到处挖坑绊人、招贴广告。既占空间让人厌烦，又没人会搭理，于人于己都无利。
关于好例子网
本站旨在为广大IT学习爱好者提供一个非营利性互相学习交流分享平台。本站所有资源都可以被免费获取学习研究。本站资源来自网友分享，对搜索内容的合法性不具有预见性、识别性、控制性，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，平台无法对用户传输的作品、信息、内容的权属或合法性、安全性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论平台是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二与二十三条之规定，若资源存在侵权或相关问题请联系本站客服人员，点此联系我们。关于更多版权及免责申明参见 版权及免责申明
网友评论
我要评论