Pipe3.0网络应用工具

【实例简介】
挺好用的东西，共享给大家用用
【实例截图】
【核心代码】
Pipe3.0
└── Pipe 3.0
├── 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
│   ├── 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
│   └── string.xml
├── 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
├── 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
├── launch.bat
├── launch.sh
├── lib
│   ├── drmaa.jar
│   ├── hadoop-0.13.1-dev-core.jar
│   ├── jcommon-1.0.10.jar
│   ├── jfreechart-1.0.6.jar
│   ├── jfreechart-1.0.6-swt.jar
│   ├── jpowergraph-0.2-common.jar
│   ├── jpowergraph-0.2-swing.jar
│   ├── powerswing-0.3.jar
│   └── tools.jar
├── pipe
│   ├── auxiliary
│   │   ├── expressions
│   │   │   ├── Converter.class
│   │   │   ├── CUP$parser$actions.class
│   │   │   ├── ExpressionInterpreter.class
│   │   │   ├── InvalidTypeException.class
│   │   │   ├── parser.class
│   │   │   ├── parser.java.bak
│   │   │   ├── runtime
│   │   │   │   ├── ComplexSymbolFactory$ComplexSymbol.class
│   │   │   │   ├── ComplexSymbolFactory$Location.class
│   │   │   │   ├── ComplexSymbolFactory.class
│   │   │   │   ├── DefaultSymbolFactory.class
│   │   │   │   ├── lr_parser.class
│   │   │   │   ├── Scanner.class
│   │   │   │   ├── Symbol.class
│   │   │   │   ├── SymbolFactory.class
│   │   │   │   └── virtual_parse_stack.class
│   │   │   ├── Scanner.class
│   │   │   ├── Scanner.java.bak
│   │   │   ├── sym.class
│   │   │   ├── SyntaxException.class
│   │   │   └── VariableNotInitializedException.class
│   │   ├── flanagan
│   │   │   ├── complex
│   │   │   │   └── Complex.class
│   │   │   └── math
│   │   │   └── Fmath.class
│   │   ├── 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
│   ├── common
│   │   ├── AnalysisInstruction.class
│   │   ├── AnalysisSettings.class
│   │   ├── AnalysisType.class
│   │   ├── Cleanable.class
│   │   ├── dataLayer
│   │   │   ├── AnnotationNote$ResizePoint.class
│   │   │   ├── AnnotationNote$ResizePointHandler.class
│   │   │   ├── AnnotationNote.class
│   │   │   ├── Arc.class
│   │   │   ├── ArcFactory.class
│   │   │   ├── ArcPath.class
│   │   │   ├── ArcPathPoint.class
│   │   │   ├── calculations
│   │   │   │   ├── ArcListElement.class
│   │   │   │   ├── CompressedState.class
│   │   │   │   ├── DynamicMarkingCompiler.class
│   │   │   │   ├── EnterOptionsException.class
│   │   │   │   ├── LaplaceTransformInverter.class
│   │   │   │   ├── LargeStateSpaceGen.class
│   │   │   │   ├── LTIMapRed$RTAMapper.class
│   │   │   │   ├── LTIMapRed$RTAReducer.class
│   │   │   │   ├── LTIMapRed.class
│   │   │   │   ├── MarkingState.class
│   │   │   │   ├── MatrixElement.class
│   │   │   │   ├── myNode.class
│   │   │   │   ├── myTree.class
│   │   │   │   ├── NewSteadyStateSolver.class
│   │   │   │   ├── NotConvergingException.class
│   │   │   │   ├── NotValidExpressionException.class
│   │   │   │   ├── Queue.class
│   │   │   │   ├── RtaMarking.class
│   │   │   │   ├── State.class
│   │   │   │   ├── StateList.class
│   │   │   │   ├── StateSpaceGenerator.class
│   │   │   │   ├── StateSpaceTooBigException.class
│   │   │   │   ├── SteadyStateSolver.class
│   │   │   │   ├── TimelessTrapException.class
│   │   │   │   ├── TreeTooBigException.class
│   │   │   │   └── VanishingState.class
│   │   │   ├── ComplexWritable.class
│   │   │   ├── Cubic.class
│   │   │   ├── DataLayer.class
│   │   │   ├── DataLayerInterface.class
│   │   │   ├── DataLayerSimulationInterface.class
│   │   │   ├── DataLayerWriter.class
│   │   │   ├── DoubleTupleWritable.class
│   │   │   ├── DynamicMarking.class
│   │   │   ├── GroupTransition$ArcAngleCompare.class
│   │   │   ├── GroupTransition.class
│   │   │   ├── InhibitorArc.class
│   │   │   ├── Marking.class
│   │   │   ├── NameLabel.class
│   │   │   ├── NormalArc.class
│   │   │   ├── Note.class
│   │   │   ├── ObjectDeepCopier.class
│   │   │   ├── Parameter.class
│   │   │   ├── PetriNetObject.class
│   │   │   ├── Place.class
│   │   │   ├── PlaceFactory.class
│   │   │   ├── PlaceTransitionObject.class
│   │   │   ├── PNMatrix.class
│   │   │   ├── PNMLTransformer.class
│   │   │   ├── RateParameter.class
│   │   │   ├── StateElement.class
│   │   │   ├── StateGroup.class
│   │   │   ├── TNTransformer.class
│   │   │   ├── TokenClass.class
│   │   │   ├── Transition$ArcAngleCompare.class
│   │   │   ├── Transition.class
│   │   │   ├── TransitionFactory.class
│   │   │   └── Unfolder.class
│   │   ├── EvaluationStatus.class
│   │   ├── LoggingHelper$SocketHandlerConnector.class
│   │   ├── LoggingHelper.class
│   │   ├── PerformanceMeasure.class
│   │   ├── PTAction.class
│   │   ├── PTArithComp.class
│   │   ├── PTArithOp.class
│   │   ├── PTDisCon.class
│   │   ├── PTModFileType.class
│   │   ├── PTNode.class
│   │   ├── PTValueNode.class
│   │   ├── QueryConstants.class
│   │   ├── queryresult
│   │   │   ├── FilePointsResultWrapper.class
│   │   │   ├── NodeAnalyserResultWrapper.class
│   │   │   ├── PercentileResultWrapper.class
│   │   │   ├── PointsResultWrapper.class
│   │   │   ├── ProbInIntervalResultWrapper.class
│   │   │   ├── QueryResultLoggingHandler.class
│   │   │   ├── ResultWrapper.class
│   │   │   ├── TextFileResultWrapper.class
│   │   │   ├── UnexpectedResultException.class
│   │   │   ├── XYCoordinate$YComponentComparator.class
│   │   │   ├── XYCoordinate.class
│   │   │   ├── XYCoordinates.class
│   │   │   └── XYCoordinatesTest.class
│   │   ├── ServerConstants.class
│   │   ├── SimpleArc.class
│   │   ├── SimpleOperationNode.class
│   │   ├── SimplePlaces.class
│   │   ├── SimpleTransitions.class
│   │   ├── SoftExceptionHandler.class
│   │   └── StringHelper.class
│   ├── gui
│   │   ├── action
│   │   │   ├── DeletePetriNetObjectAction.class
│   │   │   ├── EditAnnotationBackgroundAction.class
│   │   │   ├── EditAnnotationBorderAction.class
│   │   │   ├── EditNoteAction.class
│   │   │   ├── EditServerAction.class
│   │   │   ├── GetIndexAction.class
│   │   │   ├── GuiAction.class
│   │   │   ├── InsertPointAction.class
│   │   │   ├── ShowHideInfoAction.class
│   │   │   ├── SplitArcAction.class
│   │   │   ├── SplitArcPointAction.class
│   │   │   └── ToggleArcPointAction.class
│   │   ├── AnimationHistory.class
│   │   ├── Animator$1.class
│   │   ├── Animator.class
│   │   ├── BlankLayer.class
│   │   ├── ColorDrawer.class
│   │   ├── ColorPicker.class
│   │   ├── Constants.class
│   │   ├── CopyPasteable.class
│   │   ├── CopyPasteManager.class
│   │   ├── CreateGui$TabData.class
│   │   ├── CreateGui.class
│   │   ├── Export.class
│   │   ├── ExtensionFilter.class
│   │   ├── ExtFileManager.class
│   │   ├── Grid.class
│   │   ├── GuiFrame$1.class
│   │   ├── GuiFrame$2.class
│   │   ├── GuiFrame$3.class
│   │   ├── GuiFrame$4.class
│   │   ├── GuiFrame$AnimateAction.class
│   │   ├── GuiFrame$ChooseTokenClassAction.class
│   │   ├── GuiFrame$DeleteAction.class
│   │   ├── GuiFrame$EditAction.class
│   │   ├── GuiFrame$ExampleFileAction.class
│   │   ├── GuiFrame$FileAction.class
│   │   ├── GuiFrame$GridAction.class
│   │   ├── GuiFrame$GroupTransitionsAction.class
│   │   ├── GuiFrame$ToggleButton.class
│   │   ├── GuiFrame$TokenClassAction.class
│   │   ├── GuiFrame$TypeAction.class
│   │   ├── GuiFrame$UnfoldAction.class
│   │   ├── GuiFrame$UngroupTransitionsAction.class
│   │   ├── GuiFrame$ValidateAction.class
│   │   ├── GuiFrame$WindowHandler.class
│   │   ├── GuiFrame$ZoomAction.class
│   │   ├── GuiFrame.class
│   │   ├── GuiView$MouseHandler.class
│   │   ├── GuiView.class
│   │   ├── handler
│   │   │   ├── AnimationHandler.class
│   │   │   ├── AnnotationNoteHandler.class
│   │   │   ├── ArcHandler$1.class
│   │   │   ├── ArcHandler$2.class
│   │   │   ├── ArcHandler$3.class
│   │   │   ├── ArcHandler$DeleteInverseArcAction.class
│   │   │   ├── ArcHandler$SplitArcsAction.class
│   │   │   ├── ArcHandler.class
│   │   │   ├── ArcKeyboardEventHandler.class
│   │   │   ├── ArcPathPointHandler.class
│   │   │   ├── GroupTransitionHandler$1.class
│   │   │   ├── GroupTransitionHandler$2.class
│   │   │   ├── GroupTransitionHandler.class
│   │   │   ├── LabelHandler.class
│   │   │   ├── NoteHandler.class
│   │   │   ├── ParameterHandler.class
│   │   │   ├── PetriNetObjectHandler.class
│   │   │   ├── PlaceHandler$1.class
│   │   │   ├── PlaceHandler.class
│   │   │   ├── PlaceTransitionObjectHandler.class
│   │   │   ├── TransitionHandler$1.class
│   │   │   ├── TransitionHandler$2.class
│   │   │   └── TransitionHandler.class
│   │   ├── HelpBox.class
│   │   ├── ModuleClassContainer.class
│   │   ├── ModuleLoader.class
│   │   ├── ModuleManager$RemoveModuleAction.class
│   │   ├── ModuleManager$TreeHandler.class
│   │   ├── ModuleManager.class
│   │   ├── ModuleMethod.class
│   │   ├── SelectionManager.class
│   │   ├── StatusBar.class
│   │   ├── TokenClassDialog.class
│   │   ├── TokenClassPanel$1.class
│   │   ├── TokenClassPanel$TableModel.class
│   │   ├── TokenClassPanel.class
│   │   ├── Translatable.class
│   │   ├── undo
│   │   │   ├── AddArcPathPointEdit.class
│   │   │   ├── AddPetriNetObjectEdit.class
│   │   │   ├── AnnotationBorderEdit.class
│   │   │   ├── AnnotationTextEdit.class
│   │   │   ├── ArcPathPointTypeEdit.class
│   │   │   ├── ArcWeightEdit.class
│   │   │   ├── ChangeRateParameterEdit.class
│   │   │   ├── ClearInverseArcEdit.class
│   │   │   ├── ClearRateParameterEdit.class
│   │   │   ├── DeleteArcPathPointEdit.class
│   │   │   ├── DeletePetriNetObjectEdit.class
│   │   │   ├── GroupTransitionEdit.class
│   │   │   ├── GroupTransitionRotationEdit.class
│   │   │   ├── JoinInverseArcEdit.class
│   │   │   ├── ParameterNameEdit.class
│   │   │   ├── PetriNetObjectNameEdit.class
│   │   │   ├── PlaceCapacityEdit.class
│   │   │   ├── PlaceMarkingEdit.class
│   │   │   ├── RateParameterValueEdit.class
│   │   │   ├── SetInverseArcEdit.class
│   │   │   ├── SetRateParameterEdit.class
│   │   │   ├── SplitInverseArcEdit.class
│   │   │   ├── TagArcEdit.class
│   │   │   ├── TransitionPriorityEdit.class
│   │   │   ├── TransitionRateEdit.class
│   │   │   ├── TransitionRotationEdit.class
│   │   │   ├── TransitionServerSemanticEdit.class
│   │   │   ├── TransitionTimingEdit.class
│   │   │   ├── TranslatePetriNetObjectEdit.class
│   │   │   ├── UndoableEdit.class
│   │   │   ├── UndoManager.class
│   │   │   └── UngroupTransitionEdit.class
│   │   ├── ViewExpansionComponent.class
│   │   ├── widgets
│   │   │   ├── AnnotationPanel$1.class
│   │   │   ├── AnnotationPanel$2.class
│   │   │   ├── AnnotationPanel.class
│   │   │   ├── AnnotationPanel.form
│   │   │   ├── ArcWeightEditorPanel$1.class
│   │   │   ├── ArcWeightEditorPanel$2.class
│   │   │   ├── ArcWeightEditorPanel$3.class
│   │   │   ├── ArcWeightEditorPanel$4.class
│   │   │   ├── ArcWeightEditorPanel$5.class
│   │   │   ├── ArcWeightEditorPanel.class
│   │   │   ├── ButtonBar.class
│   │   │   ├── CartesianGraphFrame$1.class
│   │   │   ├── CartesianGraphFrame$2.class
│   │   │   ├── CartesianGraphFrame$3.class
│   │   │   ├── CartesianGraphFrame.class
│   │   │   ├── EnterOptionsPane$HadoopPane.class
│   │   │   ├── EnterOptionsPane.class
│   │   │   ├── EscapableDialog$1.class
│   │   │   ├── EscapableDialog.class
│   │   │   ├── ExtensionFileFilter.class
│   │   │   ├── FileBrowser.class
│   │   │   ├── FileBrowserWithCheckBox$1.class
│   │   │   ├── FileBrowserWithCheckBox.class
│   │   │   ├── GraphFrame$1.class
│   │   │   ├── GraphFrame.class
│   │   │   ├── GraphPanel.class
│   │   │   ├── GraphPanelPane$1.class
│   │   │   ├── GraphPanelPane.class
│   │   │   ├── GroupTransitionEditorPanel$1.class
│   │   │   ├── GroupTransitionEditorPanel$2.class
│   │   │   ├── GroupTransitionEditorPanel$3.class
│   │   │   ├── GroupTransitionEditorPanel$4.class
│   │   │   ├── GroupTransitionEditorPanel$5.class
│   │   │   ├── GroupTransitionEditorPanel.class
│   │   │   ├── JFCGraphFrame$1.class
│   │   │   ├── JFCGraphFrame$2.class
│   │   │   ├── JFCGraphFrame.class
│   │   │   ├── ParameterPanel$1.class
│   │   │   ├── ParameterPanel$2.class
│   │   │   ├── ParameterPanel$3.class
│   │   │   ├── ParameterPanel$4.class
│   │   │   ├── ParameterPanel.class
│   │   │   ├── ParameterPanel.form
│   │   │   ├── 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.class
│   │   │   ├── PlaceEditorPanel.form
│   │   │   ├── ResultsHTMLPane$1.class
│   │   │   ├── ResultsHTMLPane$2.class
│   │   │   ├── ResultsHTMLPane.class
│   │   │   ├── TransitionEditorPanel$10.class
│   │   │   ├── TransitionEditorPanel$11.class
│   │   │   ├── TransitionEditorPanel$1.class
│   │   │   ├── TransitionEditorPanel$2.class
│   │   │   ├── TransitionEditorPanel$3.class
│   │   │   ├── TransitionEditorPanel$4.class
│   │   │   ├── TransitionEditorPanel$5.class
│   │   │   ├── TransitionEditorPanel$6.class
│   │   │   ├── TransitionEditorPanel$7.class
│   │   │   ├── TransitionEditorPanel$8.class
│   │   │   ├── TransitionEditorPanel$9.class
│   │   │   ├── TransitionEditorPanel.class
│   │   │   └── TransitionEditorPanel.form
│   │   ├── Zoomable.class
│   │   └── ZoomController.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
│   │   ├── clientCommon
│   │   │   ├── HTMLPane.class
│   │   │   ├── PetriNetBrowsePanel$1.class
│   │   │   ├── PetriNetBrowsePanel$2.class
│   │   │   ├── PetriNetBrowsePanel.class
│   │   │   ├── ServerInfo.class
│   │   │   ├── ServerList.class
│   │   │   ├── ServerPanel$1.class
│   │   │   ├── ServerPanel$2.class
│   │   │   ├── ServerPanel.class
│   │   │   └── SocketIO.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
│   │   ├── dnamacaTagged
│   │   │   ├── DnamacaTagged$1.class
│   │   │   ├── DnamacaTagged$2.class
│   │   │   └── DnamacaTagged.class
│   │   ├── EmptyNetException.class
│   │   ├── gspn
│   │   │   ├── GSPN.class
│   │   │   ├── GSPNNew$1$1.class
│   │   │   ├── GSPNNew$1.class
│   │   │   ├── GSPNNew$NoTimedTransitionsException.class
│   │   │   ├── GSPNNew.class
│   │   │   └── GSPNOld.class
│   │   ├── iai
│   │   │   ├── ExponentialDistribution.class
│   │   │   ├── QueueRecord.class
│   │   │   ├── SimulationClockWatcher.class
│   │   │   ├── SimulationClockWatcherDialog.class
│   │   │   ├── SimulationFiringCounter.class
│   │   │   ├── SimulationFiringCounterDialog.class
│   │   │   ├── SimulationPlaceWatcher.class
│   │   │   └── SimulationPlaceWatcherDialog.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
│   │   ├── passage
│   │   │   ├── Analyse.class
│   │   │   ├── ConditionPlace.class
│   │   │   ├── ConditionPlaceHandler$1.class
│   │   │   ├── ConditionPlaceHandler$2.class
│   │   │   ├── ConditionPlaceHandler.class
│   │   │   ├── Passage$1.class
│   │   │   ├── Passage$2.class
│   │   │   ├── Passage.class
│   │   │   ├── ProgressBarHTMLPane.class
│   │   │   ├── ResultsGraph$1.class
│   │   │   ├── ResultsGraph.class
│   │   │   ├── ResultsReceiver$1.class
│   │   │   ├── ResultsReceiver$2.class
│   │   │   ├── ResultsReceiver$3.class
│   │   │   ├── ResultsReceiver.class
│   │   │   ├── ServerPanelProcessors.class
│   │   │   ├── StateEditor$1.class
│   │   │   ├── StateEditor$2.class
│   │   │   ├── StateEditor.class
│   │   │   ├── StateViewer.class
│   │   │   ├── StatusListener.class
│   │   │   └── ToggleSelectionModel.class
│   │   ├── passageTimeForTaggedNet
│   │   │   ├── AnalysisSetting.class
│   │   │   ├── ConditionPlace.class
│   │   │   ├── ConditionPlaceHandler$1.class
│   │   │   ├── ConditionPlaceHandler$2.class
│   │   │   ├── ConditionPlaceHandler$3.class
│   │   │   ├── ConditionPlaceHandler.class
│   │   │   ├── Passage$1.class
│   │   │   ├── Passage$2.class
│   │   │   ├── Passage$3.class
│   │   │   ├── Passage$ToggleSelectionModel.class
│   │   │   ├── Passage.class
│   │   │   ├── ResultGeneration$1.class
│   │   │   ├── ResultGeneration$2.class
│   │   │   ├── ResultGeneration$3.class
│   │   │   ├── ResultGeneration.class
│   │   │   ├── StateEditor$1.class
│   │   │   ├── StateEditor$2.class
│   │   │   ├── StateEditor.class
│   │   │   ├── StateViewer.class
│   │   │   └── TransModel.class
│   │   ├── queryeditor
│   │   │   ├── evaluator
│   │   │   │   ├── AnalysisResultsReceiver.class
│   │   │   │   ├── AnalysisStatusUpdater.class
│   │   │   │   ├── AnalysisThread.class
│   │   │   │   ├── CommunicatorStarter.class
│   │   │   │   ├── EditQueryTreeNodeAction.class
│   │   │   │   ├── EvaluatorLoggingHandler.class
│   │   │   │   ├── gui
│   │   │   │   │   ├── CloseTabIcon.class
│   │   │   │   │   ├── EvaluationSettingsPanel.class
│   │   │   │   │   ├── EvaluationSettingsServerPanel.class
│   │   │   │   │   ├── EvaluatorGuiLoggingHandler.class
│   │   │   │   │   ├── ProgressView.class
│   │   │   │   │   ├── ProgressWindow$1.class
│   │   │   │   │   ├── ProgressWindow$2.class
│   │   │   │   │   ├── ProgressWindow$3.class
│   │   │   │   │   ├── ProgressWindow$TimedTextUpdater$1.class
│   │   │   │   │   ├── ProgressWindow$TimedTextUpdater.class
│   │   │   │   │   ├── ProgressWindow$WindowHandler.class
│   │   │   │   │   ├── ProgressWindow.class
│   │   │   │   │   ├── QueryOperationNode.class
│   │   │   │   │   ├── QueryTreeNode.class
│   │   │   │   │   ├── QueryTreeNodeHandler.class
│   │   │   │   │   ├── QueryValueNode.class
│   │   │   │   │   ├── ResultBarChartPlotter$1.class
│   │   │   │   │   ├── ResultBarChartPlotter$2.class
│   │   │   │   │   ├── ResultBarChartPlotter.class
│   │   │   │   │   ├── ResultGraphPlotter$1.class
│   │   │   │   │   ├── ResultGraphPlotter$2.class
│   │   │   │   │   ├── ResultGraphPlotter.class
│   │   │   │   │   ├── ResultPlotter.class
│   │   │   │   │   ├── ResultProvider.class
│   │   │   │   │   ├── ServerSettingsBasicPanel$1.class
│   │   │   │   │   ├── ServerSettingsBasicPanel$2.class
│   │   │   │   │   ├── ServerSettingsBasicPanel.class
│   │   │   │   │   ├── StatusIndicator.class
│   │   │   │   │   ├── TabOpenAction.class
│   │   │   │   │   ├── TabOpenFileText.class
│   │   │   │   │   ├── TabOpenGraph.class
│   │   │   │   │   └── TabOpenHistogram.class
│   │   │   │   ├── InterruptableSocketIO.class
│   │   │   │   ├── LoggingListener.class
│   │   │   │   ├── NodeStatusUpdater.class
│   │   │   │   ├── PerformanceTreeNodeWrapper.class
│   │   │   │   ├── QueryAnalysisException.class
│   │   │   │   ├── QueryEvaluator.class
│   │   │   │   ├── SettingsManager$1.class
│   │   │   │   └── SettingsManager.class
│   │   │   ├── gui
│   │   │   │   ├── ButtonBar.class
│   │   │   │   ├── DeletePerformanceTreeObjectAction.class
│   │   │   │   ├── EditPerformanceTreeNodeAction.class
│   │   │   │   ├── images
│   │   │   │   │   ├── About.png
│   │   │   │   │   ├── Actions.png
│   │   │   │   │   ├── Actions-selected.png
│   │   │   │   │   ├── Actions-selected.svg
│   │   │   │   │   ├── Actions.svg
│   │   │   │   │   ├── Argument.png
│   │   │   │   │   ├── Argument-selected.png
│   │   │   │   │   ├── Argument-selected.svg
│   │   │   │   │   ├── Argument.svg
│   │   │   │   │   ├── ArithComp-eq.png
│   │   │   │   │   ├── ArithComp-eq.svg
│   │   │   │   │   ├── ArithComp-geq.png
│   │   │   │   │   ├── ArithComp-geq.svg
│   │   │   │   │   ├── ArithComp-gt.png
│   │   │   │   │   ├── ArithComp-gt.svg
│   │   │   │   │   ├── ArithComp-leq.png
│   │   │   │   │   ├── ArithComp-leq.svg
│   │   │   │   │   ├── ArithComp-lt.png
│   │   │   │   │   ├── ArithComp-lt.svg
│   │   │   │   │   ├── ArithComp.png
│   │   │   │   │   ├── ArithComp-selected.png
│   │   │   │   │   ├── ArithComp-selected.svg
│   │   │   │   │   ├── ArithComp.svg
│   │   │   │   │   ├── ArithOp-div.png
│   │   │   │   │   ├── ArithOp-div.svg
│   │   │   │   │   ├── ArithOp-minus.png
│   │   │   │   │   ├── ArithOp-minus.svg
│   │   │   │   │   ├── ArithOp-plus.png
│   │   │   │   │   ├── ArithOp-plus.svg
│   │   │   │   │   ├── ArithOp.png
│   │   │   │   │   ├── ArithOp-power.png
│   │   │   │   │   ├── ArithOp-power.svg
│   │   │   │   │   ├── ArithOp-selected.png
│   │   │   │   │   ├── ArithOp-selected.svg
│   │   │   │   │   ├── ArithOp.svg
│   │   │   │   │   ├── ArithOp-times.png
│   │   │   │   │   ├── ArithOp-times.svg
│   │   │   │   │   ├── Bool.png
│   │   │   │   │   ├── Bool-selected.png
│   │   │   │   │   ├── Bool-selected.svg
│   │   │   │   │   ├── Bool.svg
│   │   │   │   │   ├── Close.png
│   │   │   │   │   ├── Convolution.png
│   │   │   │   │   ├── Convolution-selected.png
│   │   │   │   │   ├── Convolution-selected.svg
│   │   │   │   │   ├── Convolution.svg
│   │   │   │   │   ├── Cycle Grid.png
│   │   │   │   │   ├── Delete.png
│   │   │   │   │   ├── Discon-and.png
│   │   │   │   │   ├── Discon-and.svg
│   │   │   │   │   ├── Discon-or.png
│   │   │   │   │   ├── Discon-or.svg
│   │   │   │   │   ├── Discon.png
│   │   │   │   │   ├── Discon-selected.png
│   │   │   │   │   ├── Discon-selected.svg
│   │   │   │   │   ├── Discon.svg
│   │   │   │   │   ├── Distribution.png
│   │   │   │   │   ├── Distribution-selected.png
│   │   │   │   │   ├── Distribution-selected.svg
│   │   │   │   │   ├── Distribution.svg
│   │   │   │   │   ├── Drag.png
│   │   │   │   │   ├── Drag-selected.png
│   │   │   │   │   ├── Drag-selected.svg
│   │   │   │   │   ├── Drag.svg
│   │   │   │   │   ├── EPS.png
│   │   │   │   │   ├── Eval-compl.png
│   │   │   │   │   ├── Eval-compl-small.png
│   │   │   │   │   ├── Eval-compl-small.svg
│   │   │   │   │   ├── Eval-compl.svg
│   │   │   │   │   ├── Eval-failed.png
│   │   │   │   │   ├── Eval-iprog.png
│   │   │   │   │   ├── Eval-iprog-small.png
│   │   │   │   │   ├── Eval-iprog-small.svg
│   │   │   │   │   ├── Eval-iprog.svg
│   │   │   │   │   ├── Eval-nimpl.png
│   │   │   │   │   ├── Eval-nimpl-small.png
│   │   │   │   │   ├── Eval-nimpl-small.svg
│   │   │   │   │   ├── Eval-nimpl.svg
│   │   │   │   │   ├── Eval-nstar.png
│   │   │   │   │   ├── Eval-nstar-small.png
│   │   │   │   │   ├── Eval-nstar-small.svg
│   │   │   │   │   ├── Eval-nstar.svg
│   │   │   │   │   ├── Exit.png
│   │   │   │   │   ├── Export.png
│   │   │   │   │   ├── FiringRate.png
│   │   │   │   │   ├── FiringRate-selected.png
│   │   │   │   │   ├── FiringRate-selected.svg
│   │   │   │   │   ├── FiringRate.svg
│   │   │   │   │   ├── Help.png
│   │   │   │   │   ├── Import.png
│   │   │   │   │   ├── InInterval.png
│   │   │   │   │   ├── InInterval-selected.png
│   │   │   │   │   ├── InInterval-selected.svg
│   │   │   │   │   ├── InInterval.svg
│   │   │   │   │   ├── Macro.png
│   │   │   │   │   ├── Macro-selected.png
│   │   │   │   │   ├── Macro-selected.svg
│   │   │   │   │   ├── Macro.svg
│   │   │   │   │   ├── Moment.png
│   │   │   │   │   ├── Moment-selected.png
│   │   │   │   │   ├── Moment-selected.svg
│   │   │   │   │   ├── Moment.svg
│   │   │   │   │   ├── Negation.png
│   │   │   │   │   ├── Negation-selected.png
│   │   │   │   │   ├── Negation-selected.svg
│   │   │   │   │   ├── Negation.svg
│   │   │   │   │   ├── New.png
│   │   │   │   │   ├── Num.png
│   │   │   │   │   ├── Num-selected.png
│   │   │   │   │   ├── Num-selected.svg
│   │   │   │   │   ├── Num.svg
│   │   │   │   │   ├── Open.png
│   │   │   │   │   ├── PassageTimeDensity.png
│   │   │   │   │   ├── PassageTimeDensity-selected.png
│   │   │   │   │   ├── PassageTimeDensity-selected.svg
│   │   │   │   │   ├── PassageTimeDensity.svg
│   │   │   │   │   ├── Percentile.png
│   │   │   │   │   ├── Percentile-selected.png
│   │   │   │   │   ├── Percentile-selected.svg
│   │   │   │   │   ├── Percentile.svg
│   │   │   │   │   ├── PNG.png
│   │   │   │   │   ├── Print.png
│   │   │   │   │   ├── ProbInInterval.png
│   │   │   │   │   ├── ProbInInterval-selected.png
│   │   │   │   │   ├── ProbInInterval-selected.svg
│   │   │   │   │   ├── ProbInInterval.svg
│   │   │   │   │   ├── ProbInStates.png
│   │   │   │   │   ├── ProbInStates-selected.png
│   │   │   │   │   ├── ProbInStates-selected.svg
│   │   │   │   │   ├── ProbInStates.svg
│   │   │   │   │   ├── Range.png
│   │   │   │   │   ├── Range-selected.png
│   │   │   │   │   ├── Range-selected.svg
│   │   │   │   │   ├── Range.svg
│   │   │   │   │   ├── Result.png
│   │   │   │   │   ├── Result-selected.png
│   │   │   │   │   ├── Result-selected.svg
│   │   │   │   │   ├── Result.svg
│   │   │   │   │   ├── Save As.png
│   │   │   │   │   ├── Save.png
│   │   │   │   │   ├── Select.png
│   │   │   │   │   ├── Select-selected.png
│   │   │   │   │   ├── Select-selected.svg
│   │   │   │   │   ├── Select.svg
│   │   │   │   │   ├── Sequential.png
│   │   │   │   │   ├── Sequential-selected.png
│   │   │   │   │   ├── Sequential-selected.svg
│   │   │   │   │   ├── Sequential.svg
│   │   │   │   │   ├── StateFunction.png
│   │   │   │   │   ├── StateFunction-selected.png
│   │   │   │   │   ├── StateFunction-selected.svg
│   │   │   │   │   ├── StateFunction.svg
│   │   │   │   │   ├── StateFuunction-selected.png
│   │   │   │   │   ├── StatesAtTime.png
│   │   │   │   │   ├── StatesAtTime-selected.png
│   │   │   │   │   ├── StatesAtTime-selected.svg
│   │   │   │   │   ├── StatesAtTime.svg
│   │   │   │   │   ├── States.png
│   │   │   │   │   ├── States-selected.png
│   │   │   │   │   ├── States-selected.svg
│   │   │   │   │   ├── States.svg
│   │   │   │   │   ├── SteadyStateProb.png
│   │   │   │   │   ├── SteadyStateProb-selected.png
│   │   │   │   │   ├── SteadyStateProb-selected.svg
│   │   │   │   │   ├── SteadyStateProb.svg
│   │   │   │   │   ├── SteadyStateStates.png
│   │   │   │   │   ├── SteadyStateStates-selected.png
│   │   │   │   │   ├── SteadyStateStates-selected.svg
│   │   │   │   │   ├── SteadyStateStates.svg
│   │   │   │   │   ├── Subset.png
│   │   │   │   │   ├── Subset-selected.png
│   │   │   │   │   ├── Subset-selected.svg
│   │   │   │   │   ├── Subset.svg
│   │   │   │   │   ├── XML.png
│   │   │   │   │   ├── Zoom In.png
│   │   │   │   │   ├── Zoom Out.png
│   │   │   │   │   └── Zoom.png
│   │   │   │   ├── PerformanceTreeArcHandler.class
│   │   │   │   ├── PerformanceTreeArcPathPointHandler.class
│   │   │   │   ├── PerformanceTreeNodeHandler.class
│   │   │   │   ├── PerformanceTreeObjectHandler.class
│   │   │   │   ├── performancetrees
│   │   │   │   │   ├── Cubic.class
│   │   │   │   │   ├── macros
│   │   │   │   │   │   ├── ArgumentNode.class
│   │   │   │   │   │   ├── MacroDefinition$OutgoingArcInfo.class
│   │   │   │   │   │   ├── MacroDefinition.class
│   │   │   │   │   │   ├── MacroEditor$1.class
│   │   │   │   │   │   ├── MacroEditor$2.class
│   │   │   │   │   │   ├── MacroEditor$3.class
│   │   │   │   │   │   ├── MacroEditor$DeleteAction.class
│   │   │   │   │   │   ├── MacroEditor$FileAction.class
│   │   │   │   │   │   ├── MacroEditor$GridAction.class
│   │   │   │   │   │   ├── MacroEditor$MacroImportAction.class
│   │   │   │   │   │   ├── MacroEditor$TypeAction.class
│   │   │   │   │   │   ├── MacroEditor$WindowHandler.class
│   │   │   │   │   │   ├── MacroEditor$ZoomAction.class
│   │   │   │   │   │   ├── MacroEditor.class
│   │   │   │   │   │   ├── MacroManager$1.class
│   │   │   │   │   │   ├── MacroManager$2.class
│   │   │   │   │   │   ├── MacroManager$3.class
│   │   │   │   │   │   ├── MacroManager$4.class
│   │   │   │   │   │   ├── MacroManager$5.class
│   │   │   │   │   │   ├── MacroManager$6.class
│   │   │   │   │   │   ├── MacroManager$7.class
│   │   │   │   │   │   ├── MacroManager$8.class
│   │   │   │   │   │   ├── MacroManager$9.class
│   │   │   │   │   │   ├── MacroManager$MouseHandler.class
│   │   │   │   │   │   ├── MacroManager$ToggleSelectionModel.class
│   │   │   │   │   │   ├── MacroManager.class
│   │   │   │   │   │   ├── MacroNode.class
│   │   │   │   │   │   ├── MacroView$MouseHandler.class
│   │   │   │   │   │   └── MacroView.class
│   │   │   │   │   ├── operationnodes
│   │   │   │   │   │   ├── ArithCompNode.class
│   │   │   │   │   │   ├── ArithOpNode.class
│   │   │   │   │   │   ├── ConvolutionNode.class
│   │   │   │   │   │   ├── DisconNode.class
│   │   │   │   │   │   ├── DistributionNode.class
│   │   │   │   │   │   ├── FiringRateNode.class
│   │   │   │   │   │   ├── InIntervalNode.class
│   │   │   │   │   │   ├── MomentNode.class
│   │   │   │   │   │   ├── NegationNode.class
│   │   │   │   │   │   ├── OperationNode.class
│   │   │   │   │   │   ├── PassageTimeDensityNode.class
│   │   │   │   │   │   ├── PercentileNode.class
│   │   │   │   │   │   ├── ProbInIntervalNode.class
│   │   │   │   │   │   ├── ProbInStatesNode.class
│   │   │   │   │   │   ├── RangeNode.class
│   │   │   │   │   │   ├── ResultNode.class
│   │   │   │   │   │   ├── SequentialNode.class
│   │   │   │   │   │   ├── StatesAtTimeNode.class
│   │   │   │   │   │   ├── SteadyStateProbNode.class
│   │   │   │   │   │   ├── SteadyStateStatesNode.class
│   │   │   │   │   │   └── SubsetNode.class
│   │   │   │   │   ├── PerformanceTreeArc.class
│   │   │   │   │   ├── PerformanceTreeArcPath.class
│   │   │   │   │   ├── PerformanceTreeArcPathPoint.class
│   │   │   │   │   ├── PerformanceTreeNode$ArcAngleCompare.class
│   │   │   │   │   ├── PerformanceTreeNode.class
│   │   │   │   │   ├── PerformanceTreeObject.class
│   │   │   │   │   ├── PerformanceTreeObjectLabel.class
│   │   │   │   │   └── valuenodes
│   │   │   │   │   ├── ActionsNode.class
│   │   │   │   │   ├── BoolNode.class
│   │   │   │   │   ├── labels
│   │   │   │   │   │   ├── ActionLabelManager$1.class
│   │   │   │   │   │   ├── ActionLabelManager$2.class
│   │   │   │   │   │   ├── ActionLabelManager.class
│   │   │   │   │   │   ├── ConditionPlace.class
│   │   │   │   │   │   ├── ConditionPlaceHandler$1.class
│   │   │   │   │   │   ├── ConditionPlaceHandler$2.class
│   │   │   │   │   │   ├── ConditionPlaceHandler.class
│   │   │   │   │   │   ├── SpringLayoutUtilities.class
│   │   │   │   │   │   ├── StateGroupEditor$1.class
│   │   │   │   │   │   ├── StateGroupEditor$2.class
│   │   │   │   │   │   ├── StateGroupEditor.class
│   │   │   │   │   │   ├── StateLabelManager$10.class
│   │   │   │   │   │   ├── StateLabelManager$11.class
│   │   │   │   │   │   ├── StateLabelManager$12.class
│   │   │   │   │   │   ├── StateLabelManager$13.class
│   │   │   │   │   │   ├── StateLabelManager$14.class
│   │   │   │   │   │   ├── StateLabelManager$15.class
│   │   │   │   │   │   ├── StateLabelManager$16.class
│   │   │   │   │   │   ├── StateLabelManager$17.class
│   │   │   │   │   │   ├── StateLabelManager$18.class
│   │   │   │   │   │   ├── StateLabelManager$1.class
│   │   │   │   │   │   ├── StateLabelManager$2.class
│   │   │   │   │   │   ├── StateLabelManager$3.class
│   │   │   │   │   │   ├── StateLabelManager$4.class
│   │   │   │   │   │   ├── StateLabelManager$5.class
│   │   │   │   │   │   ├── StateLabelManager$6.class
│   │   │   │   │   │   ├── StateLabelManager$7.class
│   │   │   │   │   │   ├── StateLabelManager$8.class
│   │   │   │   │   │   ├── StateLabelManager$9.class
│   │   │   │   │   │   ├── StateLabelManager$ToggleSelectionModel.class
│   │   │   │   │   │   ├── StateLabelManager.class
│   │   │   │   │   │   └── StateView.class
│   │   │   │   │   ├── NumNode.class
│   │   │   │   │   ├── StateFunctionNode.class
│   │   │   │   │   ├── StatesNode.class
│   │   │   │   │   └── ValueNode.class
│   │   │   │   ├── PerformanceTreeSelectionObject.class
│   │   │   │   ├── PerformanceTreeZoomController.class
│   │   │   │   ├── QueryAction.class
│   │   │   │   ├── QueryEditor$1.class
│   │   │   │   ├── QueryEditor$2.class
│   │   │   │   ├── QueryEditor$3.class
│   │   │   │   ├── QueryEditor$DeleteAction.class
│   │   │   │   ├── QueryEditor$EvaluateAction.class
│   │   │   │   ├── QueryEditor$FileAction.class
│   │   │   │   ├── QueryEditor$GridAction.class
│   │   │   │   ├── QueryEditor$LabelAction.class
│   │   │   │   ├── QueryEditor$MacroAction.class
│   │   │   │   ├── QueryEditor$SettingsAction.class
│   │   │   │   ├── QueryEditor$TypeAction.class
│   │   │   │   ├── QueryEditor$WindowHandler.class
│   │   │   │   ├── QueryEditor$ZoomAction.class
│   │   │   │   ├── QueryEditor.class
│   │   │   │   ├── QueryException.class
│   │   │   │   ├── QueryFileBrowser.class
│   │   │   │   ├── QueryStatusBar.class
│   │   │   │   ├── QueryView$MouseHandler.class
│   │   │   │   ├── QueryView.class
│   │   │   │   ├── SplitPerformanceTreeArcAction.class
│   │   │   │   ├── SplitPerformanceTreeArcPathPointAction.class
│   │   │   │   ├── TextQueryEditor$1.class
│   │   │   │   ├── TextQueryEditor$2.class
│   │   │   │   ├── TextQueryEditor$3.class
│   │   │   │   ├── TextQueryEditor$MyDocumentListener.class
│   │   │   │   ├── TextQueryEditor$Position.class
│   │   │   │   ├── TextQueryEditor$SelectorListener.class
│   │   │   │   ├── TextQueryEditor$UndoState.class
│   │   │   │   ├── TextQueryEditor.class
│   │   │   │   ├── TogglePerformanceTreeArcPathPointAction.class
│   │   │   │   └── ViewExpansionComponent.class
│   │   │   ├── io
│   │   │   │   ├── LoadMacroXML.xsl
│   │   │   │   ├── LoadQueryXML.xsl
│   │   │   │   ├── MacroLoader.class
│   │   │   │   ├── MacroTransformer.class
│   │   │   │   ├── MacroWriter.class
│   │   │   │   ├── PerformanceTreeExporter.class
│   │   │   │   ├── QueryData.class
│   │   │   │   ├── QueryLoader.class
│   │   │   │   ├── QueryTransformer.class
│   │   │   │   ├── QueryWriter.class
│   │   │   │   ├── QueryXMLSchema.xsd
│   │   │   │   ├── WriteMacroXML.xsl
│   │   │   │   └── WriteQueryXML.xsl
│   │   │   ├── QueryManager$1.class
│   │   │   ├── QueryManager$TabData.class
│   │   │   ├── QueryManager.class
│   │   │   └── ToDo.txt
│   │   ├── reachability
│   │   │   ├── ReachabilityGraphGenerator$1.class
│   │   │   └── ReachabilityGraphGenerator.class
│   │   ├── rta
│   │   │   ├── AnalyseResponse.class
│   │   │   ├── RTA$1.class
│   │   │   ├── RTA$2.class
│   │   │   ├── RTA$3.class
│   │   │   ├── RTA$WinList.class
│   │   │   └── RTA.class
│   │   ├── simulation
│   │   │   ├── Simulation$1.class
│   │   │   └── Simulation.class
│   │   ├── stateSpace
│   │   │   ├── StateSpace$1.class
│   │   │   └── StateSpace.class
│   │   ├── steadyState
│   │   │   ├── Analyse.class
│   │   │   ├── FileBrowserPanel.class
│   │   │   ├── ResultsReceiver.class
│   │   │   ├── StatusListener.class
│   │   │   ├── SteadyState$1.class
│   │   │   ├── SteadyState.class
│   │   │   └── ToggleSelectionModel.class
│   │   └── tagged
│   │   ├── Analyse.class
│   │   ├── AnalysisSetting.class
│   │   ├── ConditionPlace.class
│   │   ├── ConditionPlaceHandler$1.class
│   │   ├── ConditionPlaceHandler$2.class
│   │   ├── ConditionPlaceHandler.class
│   │   ├── PerformanceMeasure.class
│   │   ├── ProgressBarHTMLPane.class
│   │   ├── ResultsGraph$1.class
│   │   ├── ResultsGraph.class
│   │   ├── ResultsReceiver$1.class
│   │   ├── ResultsReceiver$2.class
│   │   ├── ResultsReceiver$3.class
│   │   ├── ResultsReceiver.class
│   │   ├── ServerPanelProcessors.class
│   │   ├── SimpleArc.class
│   │   ├── SimplePlaces.class
│   │   ├── SimpleTransitions.class
│   │   ├── StateEditor$1.class
│   │   ├── StateEditor$2.class
│   │   ├── StateEditor.class
│   │   ├── StateViewer.class
│   │   ├── StatusListener.class
│   │   ├── TaggedModule$1.class
│   │   ├── TaggedModule$2.class
│   │   ├── TaggedModule.class
│   │   ├── ToggleSelectionModel.class
│   │   └── TransMod.class
│   ├── server
│   │   ├── CommunicationsManager.class
│   │   ├── JobStatusChecker.class
│   │   ├── JobStatusUpdater.class
│   │   ├── performancequery
│   │   │   ├── AnalysisExecutor.class
│   │   │   ├── ClientCommunicator.class
│   │   │   ├── ClientUpdater.class
│   │   │   ├── DrmaaExecutor.class
│   │   │   ├── MomentSSPExecutor.class
│   │   │   ├── nodeanalyser
│   │   │   │   ├── ArithComp.class
│   │   │   │   ├── ArithOp.class
│   │   │   │   ├── BinaryNodeAnalyser.class
│   │   │   │   ├── BoolNode.class
│   │   │   │   ├── CalculationNodeAnalyser.class
│   │   │   │   ├── DisCon.class
│   │   │   │   ├── InInterval.class
│   │   │   │   ├── InvalidNodeAnalyserException.class
│   │   │   │   ├── Negation.class
│   │   │   │   ├── NodeAnalyser.class
│   │   │   │   ├── NodeAnalyserHelper.class
│   │   │   │   ├── NodeAnalyserLoggingHandler.class
│   │   │   │   ├── NumNode.class
│   │   │   │   ├── RangeNode.class
│   │   │   │   ├── UnaryNodeAnalyser.class
│   │   │   │   └── ValueNodeAnalyser.class
│   │   │   ├── NodeAnalyserExecutor.class
│   │   │   ├── PerformanceQueryDrmaaSession.class
│   │   │   ├── PerformanceQueryServerAction$1.class
│   │   │   ├── PerformanceQueryServerAction.class
│   │   │   ├── PoolWaiter.class
│   │   │   ├── QueryServerException.class
│   │   │   ├── ResultSender.class
│   │   │   ├── ServerExceptionHandler.class
│   │   │   ├── ServerLoggingHandler.class
│   │   │   ├── SimpleAnalysisExecutor.class
│   │   │   ├── SimpleNode.class
│   │   │   ├── SimpleValueNode.class
│   │   │   ├── StatusIndicatorUpdater.class
│   │   │   └── structure
│   │   │   ├── ModFileBuilder.class
│   │   │   ├── ModFile.class
│   │   │   ├── OperationSubtree.class
│   │   │   ├── ParentSubtree.class
│   │   │   ├── RangeSubtree.class
│   │   │   ├── ResultGetter.class
│   │   │   ├── ResultSubtree.class
│   │   │   ├── SequentialSubtree.class
│   │   │   ├── StructureLoggingHandler.class
│   │   │   ├── Subtree.class
│   │   │   ├── SubtreeComparator.class
│   │   │   ├── SubtreeHelper.class
│   │   │   ├── TranslateQueryTree.class
│   │   │   └── ValueSubtree.class
│   │   ├── serverCommon
│   │   │   ├── DrmaaSession.class
│   │   │   ├── paths.config
│   │   │   ├── PathsWrapper.class
│   │   │   ├── ServerAction.class
│   │   │   └── ThreadGroupNameFilter.class
│   │   ├── ServerDrmaaSession.class
│   │   └── TransMod.class
│   ├── test
│   │   ├── AllTests.class
│   │   ├── AnimatorTest.class
│   │   ├── GuiFrameTest$1.class
│   │   ├── GuiFrameTest.class
│   │   ├── GuiViewTest$1.class
│   │   ├── GuiViewTest$2.class
│   │   ├── GuiViewTest$3.class
│   │   ├── GuiViewTest.class
│   │   ├── InvariantAnalysisTest.class
│   │   ├── resources
│   │   │   ├── Accident & Emergency Unit Coloured.xml
│   │   │   ├── ClassicGSPN2.xml
│   │   │   ├── ClassicGSPN.xml
│   │   │   ├── Coloured Reader Writer.xml
│   │   │   ├── Dual Processor With Colour.xml
│   │   │   ├── Simple Coloured Net.xml
│   │   │   └── TimelessTrap.xml
│   │   ├── SaveLoadTest.class
│   │   ├── StateRecordTest.class
│   │   ├── TestConstants.class
│   │   ├── TransitionRecordTest.class
│   │   └── UnfolderTest.class
│   └── unit
│   ├── ClassificationExceptionTest.class
│   ├── ClassificationTest.class
│   ├── ComparisonTest.class
│   ├── GspnTest.class
│   ├── IncidenceTest.class
│   ├── MinimalSiphonsTest.class
│   ├── MockPlace.class
│   ├── ReachabilityTest.class
│   ├── ServerBackendCompleteTest.class
│   ├── SimulationTest.class
│   ├── StateSpaceTest.class
│   ├── SteadyStateColour.class
│   ├── TestConstants.class
│   └── TestRunner.class
├── Pipe3$1.class
├── Pipe3.class
├── README.txt
├── schema
│   ├── eDSPNV2-Ex.xsd
│   ├── ExperimentOutputSchema.xsd
│   ├── ExperimentSchema.xsd
│   ├── pmif-ExOutput.xsd
│   └── PN-ExOutput.xsd
├── servers.lst
├── src
│   └── archive.tgz
├── xml2xls
│   ├── NetConverter.class
│   ├── PetriNetConverter.class
│   ├── QueueNetConverter.class
│   └── XLScreator.class
└── xslt
├── GenerateObjectList - Original.xsl
├── GenerateObjectList.xsl
├── GeneratePNML.xsl
└── TNtoPipe.xsl

72 directories, 1176 files