← Back to branch summary

~tapaal-contributor/tapaal/disappearing-tokens-1940098

~tapaal-contributor/tapaal/disappearing-tokens-1940098

Viewing all changes in revision 370.

Committer: Kenneth Yrke Jørgensen
Date: 2011-04-12 09:50:16 UTC
mfrom: (329.1.188 tapaal-1.5)
Revision ID: mail@yrke.dk-20110412095016-e4hqdgab5596ja09

Merged with branch addning support for new 1.5 features

files added:
libs/gtkjfilechooser.jar

src/dk/aau/cs/TCTL/visitors/AddTemplateVisitor.java

src/dk/aau/cs/TCTL/visitors/BooleanResult.java

src/dk/aau/cs/TCTL/visitors/ContainsAtomicPropWithSharedPlaceVisitor.java

src/dk/aau/cs/TCTL/visitors/RenameAllPlacesVisitor.java

src/dk/aau/cs/TCTL/visitors/RenameSharedPlaceVisitor.java

src/dk/aau/cs/TCTL/visitors/RenameTemplateVisitor.java

src/dk/aau/cs/TCTL/visitors/VisitorBase.java

src/dk/aau/cs/gui

src/dk/aau/cs/gui/Context.java

src/dk/aau/cs/gui/DrawingSurface.java

src/dk/aau/cs/gui/NameGenerator.java

src/dk/aau/cs/gui/SharedPlaceNamePanel.java

src/dk/aau/cs/gui/SharedPlacesAndTransitionsPanel.java

src/dk/aau/cs/gui/SharedTransitionNamePanel.java

src/dk/aau/cs/gui/TabComponent.java

src/dk/aau/cs/gui/TabContent.java

src/dk/aau/cs/gui/TemplateExplorer.java

src/dk/aau/cs/gui/components

src/dk/aau/cs/gui/components/PetriNetElementControl.java

src/dk/aau/cs/gui/components/TextLabel.java

src/dk/aau/cs/gui/components/TimedPlaceControl.java

src/dk/aau/cs/gui/components/handlers

src/dk/aau/cs/gui/components/handlers/ClickHandler.java

src/dk/aau/cs/gui/components/handlers/DragHandler.java

src/dk/aau/cs/gui/undo

src/dk/aau/cs/gui/undo/AddPetriNetControlCommand.java

src/dk/aau/cs/gui/undo/AddSharedPlaceCommand.java

src/dk/aau/cs/gui/undo/AddSharedTransitionCommand.java

src/dk/aau/cs/gui/undo/ChangedInvariantCommand.java

src/dk/aau/cs/gui/undo/Command.java

src/dk/aau/cs/gui/undo/DeleteQueriesCommand.java

src/dk/aau/cs/gui/undo/DeleteSharedPlaceCommand.java

src/dk/aau/cs/gui/undo/DeleteSharedTransitionCommand.java

src/dk/aau/cs/gui/undo/MakePlaceSharedCommand.java

src/dk/aau/cs/gui/undo/MakeTransitionSharedCommand.java

src/dk/aau/cs/gui/undo/RenameSharedPlaceCommand.java

src/dk/aau/cs/gui/undo/RenameSharedTransitionCommand.java

src/dk/aau/cs/gui/undo/RenameTimedPlaceCommand.java

src/dk/aau/cs/gui/undo/RenameTimedTransitionCommand.java

src/dk/aau/cs/gui/undo/TimedPlaceMarkingEdit.java

src/dk/aau/cs/gui/undo/UnsharePlaceCommand.java

src/dk/aau/cs/gui/undo/UnshareTransitionCommand.java

src/dk/aau/cs/io

src/dk/aau/cs/io/LoadedModel.java

src/dk/aau/cs/io/ModelLoader.java

src/dk/aau/cs/io/TapnLegacyXmlLoader.java

src/dk/aau/cs/io/TapnXmlLoader.java

src/dk/aau/cs/io/TimedArcPetriNetNetworkWriter.java

src/dk/aau/cs/model

src/dk/aau/cs/model/tapn

src/dk/aau/cs/model/tapn/Bound.java

src/dk/aau/cs/model/tapn/Constant.java

src/dk/aau/cs/model/tapn/ConstantBound.java

src/dk/aau/cs/model/tapn/ConstantStore.java

src/dk/aau/cs/model/tapn/IntBound.java

src/dk/aau/cs/model/tapn/LocalTimedMarking.java

src/dk/aau/cs/model/tapn/LocalTimedPlace.java

src/dk/aau/cs/model/tapn/NetworkMarking.java

src/dk/aau/cs/model/tapn/SharedPlace.java

src/dk/aau/cs/model/tapn/SharedTransition.java

src/dk/aau/cs/model/tapn/TAPNElement.java

src/dk/aau/cs/model/tapn/TimeInterval.java

src/dk/aau/cs/model/tapn/TimeInvariant.java

src/dk/aau/cs/model/tapn/TimedArcPetriNet.java

src/dk/aau/cs/model/tapn/TimedArcPetriNetNetwork.java

src/dk/aau/cs/model/tapn/TimedInhibitorArc.java

src/dk/aau/cs/model/tapn/TimedInputArc.java

src/dk/aau/cs/model/tapn/TimedMarking.java

src/dk/aau/cs/model/tapn/TimedOutputArc.java

src/dk/aau/cs/model/tapn/TimedPlace.java

src/dk/aau/cs/model/tapn/TimedToken.java

src/dk/aau/cs/model/tapn/TimedTransition.java

src/dk/aau/cs/model/tapn/TransportArc.java

src/dk/aau/cs/model/tapn/event

src/dk/aau/cs/model/tapn/event/TimedPlaceEvent.java

src/dk/aau/cs/model/tapn/event/TimedPlaceListener.java

src/dk/aau/cs/model/tapn/event/TimedTransitionEvent.java

src/dk/aau/cs/model/tapn/event/TimedTransitionListener.java

src/dk/aau/cs/model/tapn/simulation

src/dk/aau/cs/model/tapn/simulation/FiringMode.java

src/dk/aau/cs/model/tapn/simulation/OldestFiringMode.java

src/dk/aau/cs/model/tapn/simulation/RandomFiringMode.java

src/dk/aau/cs/model/tapn/simulation/TAPNNetworkTimeDelayStep.java

src/dk/aau/cs/model/tapn/simulation/TAPNNetworkTimedTransitionStep.java

src/dk/aau/cs/model/tapn/simulation/TAPNNetworkTrace.java

src/dk/aau/cs/model/tapn/simulation/TAPNNetworkTraceStep.java

src/dk/aau/cs/model/tapn/simulation/TimeDelayStep.java

src/dk/aau/cs/model/tapn/simulation/TimedArcPetriNetStep.java

src/dk/aau/cs/model/tapn/simulation/TimedArcPetriNetTrace.java

src/dk/aau/cs/model/tapn/simulation/TimedTAPNNetworkTrace.java

src/dk/aau/cs/model/tapn/simulation/TimedTransitionStep.java

src/dk/aau/cs/model/tapn/simulation/UntimedTAPNNetworkTrace.java

src/dk/aau/cs/model/tapn/simulation/YoungestFiringMode.java

src/dk/aau/cs/translations/Degree2Converter.java

src/dk/aau/cs/translations/Degree2Pairing.java

src/dk/aau/cs/translations/NonOptimizingDegree2Converter.java

src/dk/aau/cs/translations/Pairing.java

src/dk/aau/cs/translations/tapn/TAPNToConservativeTAPNConverter.java

src/dk/aau/cs/util

src/dk/aau/cs/util/FormatException.java

src/dk/aau/cs/util/Require.java

src/dk/aau/cs/util/RequireException.java

src/dk/aau/cs/util/Tuple.java

src/dk/aau/cs/verification/NameMapping.java

src/dk/aau/cs/verification/TAPNComposer.java

src/dk/aau/cs/verification/TAPNTraceDecomposer.java

src/dk/aau/cs/verification/VerifyTAPN

src/dk/aau/cs/verification/VerifyTAPN/ExportedVerifyTAPNModel.java

src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPN.java

src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNExporter.java

src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNOptions.java

src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNOutputParser.java

src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNTraceParser.java

src/pipe/dataLayer/PNMLWriter.java

src/pipe/dataLayer/Template.java

src/pipe/dataLayer/TimedInputArcComponent.java

src/pipe/dataLayer/TimedTransitionComponent.java

src/pipe/gui/undo/AddQueryCommand.java

src/pipe/gui/undo/AddTemplateCommand.java

src/pipe/gui/undo/AddTimedInhibitorArcCommand.java

src/pipe/gui/undo/AddTimedInputArcCommand.java

src/pipe/gui/undo/AddTimedOutputArcCommand.java

src/pipe/gui/undo/AddTimedPlaceCommand.java

src/pipe/gui/undo/AddTimedTransitionCommand.java

src/pipe/gui/undo/AddTransportArcCommand.java

src/pipe/gui/undo/DeleteTimedInhibitorArcCommand.java

src/pipe/gui/undo/DeleteTimedInputArcCommand.java

src/pipe/gui/undo/DeleteTimedOutputArcCommand.java

src/pipe/gui/undo/DeleteTimedPlaceCommand.java

src/pipe/gui/undo/DeleteTimedTransitionCommand.java

src/pipe/gui/undo/DeleteTransportArcCommand.java

src/pipe/gui/undo/RemoveQueryCommand.java

src/pipe/gui/undo/RemoveTemplateCommand.java

src/pipe/gui/undo/RenameTemplateCommand.java

src/pipe/gui/undo/TAPNElementCommand.java

tests

tests/TimeIntervalTest.java

tests/TimeInvariantTests.java

files removed:
libs/gtkjfilechooser.jar

libs/jpowergraph-0.2-common.jar

libs/jpowergraph-0.2-swing.jar

src/CmdTranslator.java

src/dk/aau/cs/petrinet

src/dk/aau/cs/petrinet/Arc.java

src/dk/aau/cs/petrinet/Degree2Converter.java

src/dk/aau/cs/petrinet/Location.java

src/dk/aau/cs/petrinet/PetriNet.java

src/dk/aau/cs/petrinet/PetriNetUtil.java

src/dk/aau/cs/petrinet/PipeTapnToAauTapnTransformer.java

src/dk/aau/cs/petrinet/Place.java

src/dk/aau/cs/petrinet/PlaceTransitionObject.java

src/dk/aau/cs/petrinet/PrioritizedTAPNTransition.java

src/dk/aau/cs/petrinet/TAPN.java

src/dk/aau/cs/petrinet/TAPNArc.java

src/dk/aau/cs/petrinet/TAPNFactory.java

src/dk/aau/cs/petrinet/TAPNInhibitorArc.java

src/dk/aau/cs/petrinet/TAPNPlace.java

src/dk/aau/cs/petrinet/TAPNQuery.java

src/dk/aau/cs/petrinet/TAPNTransition.java

src/dk/aau/cs/petrinet/TAPNTransportArc.java

src/dk/aau/cs/petrinet/TimedArcPetriNet.java

src/dk/aau/cs/petrinet/Token.java

src/dk/aau/cs/petrinet/Transition.java

src/dk/aau/cs/petrinet/colors

src/dk/aau/cs/petrinet/colors/ColorSet.java

src/dk/aau/cs/petrinet/colors/ColoredInhibitorArc.java

src/dk/aau/cs/petrinet/colors/ColoredInputArc.java

src/dk/aau/cs/petrinet/colors/ColoredInterval.java

src/dk/aau/cs/petrinet/colors/ColoredOutputArc.java

src/dk/aau/cs/petrinet/colors/ColoredPipeTapnToColoredAauTapnTransformer.java

src/dk/aau/cs/petrinet/colors/ColoredPlace.java

src/dk/aau/cs/petrinet/colors/ColoredTAPN.java

src/dk/aau/cs/petrinet/colors/ColoredTimeInvariant.java

src/dk/aau/cs/petrinet/colors/ColoredTimedArcPetriNet.java

src/dk/aau/cs/petrinet/colors/ColoredToken.java

src/dk/aau/cs/petrinet/colors/ColoredTransportArc.java

src/dk/aau/cs/petrinet/colors/CompositeInterval.java

src/dk/aau/cs/petrinet/colors/IntegerRange.java

src/dk/aau/cs/petrinet/colors/IntervalBound.java

src/dk/aau/cs/petrinet/colors/Preservation.java

src/dk/aau/cs/petrinet/degree2converters

src/dk/aau/cs/petrinet/degree2converters/ColoredInhibDegree2Converter.java

src/dk/aau/cs/petrinet/degree2converters/InhibDegree2Converter.java

src/dk/aau/cs/petrinet/degree2converters/InhibitorToPrioritiesDegree2Converter.java

src/dk/aau/cs/petrinet/degree2converters/KyrketestUppaalSym.java

src/dk/aau/cs/petrinet/degree2converters/NaiveDegree2Converter.java

src/dk/aau/cs/petrinet/degree2converters/OptimizedInhibitorToPrioritiesDegree2Converter.java

src/dk/aau/cs/petrinet/trace

src/dk/aau/cs/petrinet/trace/ColoredTransitionFiringAction.java

src/dk/aau/cs/petrinet/trace/TAPNFiringAction.java

src/dk/aau/cs/petrinet/trace/TAPNTrace.java

src/dk/aau/cs/petrinet/trace/TimeDelayFiringAction.java

src/dk/aau/cs/petrinet/trace/TransitionFiringAction.java

src/dk/aau/cs/translations/ColoredTranslationNamingScheme.java

src/dk/aau/cs/translations/Pairing.java

src/dk/aau/cs/translations/QueryTranslator.java

src/dk/aau/cs/translations/UppaalTransformer.java

src/dk/aau/cs/translations/coloredtapn

src/dk/aau/cs/translations/coloredtapn/ColoredBroadcastTranslation.java

src/dk/aau/cs/translations/coloredtapn/ColoredDegree2BroadcastKBoundOptimizationTransformer.java

src/dk/aau/cs/translations/coloredtapn/ColoredDegree2BroadcastTranslation.java

src/dk/aau/cs/translations/tapn/OptimizedStandardNamingScheme.java

src/dk/aau/cs/translations/tapn/OptimizedStandardSymmetryTranslation.java

src/dk/aau/cs/translations/tapn/StandardNamingScheme.java

src/dk/aau/cs/translations/tapn/StandardSymmetryTranslation.java

src/dk/aau/cs/verification/UPPAAL/VerifytaColoredTraceInterpreter.java

src/pipe/dataLayer/ColoredDiscreteFiringAction.java

src/pipe/dataLayer/Constant.java

src/pipe/dataLayer/ConstantStore.java

src/pipe/dataLayer/DataLayerWriter.java

src/pipe/dataLayer/DiscreetFiringAction.java

src/pipe/dataLayer/FiringAction.java

src/pipe/dataLayer/PNMLTransformer.java

src/pipe/dataLayer/TAPNTrace.java

src/pipe/dataLayer/TAPNTransition.java

src/pipe/dataLayer/TimeDelayFiringAction.java

src/pipe/dataLayer/TimedArc.java

src/pipe/dataLayer/colors

src/pipe/dataLayer/colors/ColorSet.java

src/pipe/dataLayer/colors/ColoredInhibitorArc.java

src/pipe/dataLayer/colors/ColoredInputArc.java

src/pipe/dataLayer/colors/ColoredInterval.java

src/pipe/dataLayer/colors/ColoredOutputArc.java

src/pipe/dataLayer/colors/ColoredTimeInvariant.java

src/pipe/dataLayer/colors/ColoredTimedPlace.java

src/pipe/dataLayer/colors/ColoredToken.java

src/pipe/dataLayer/colors/ColoredTransportArc.java

src/pipe/dataLayer/colors/IntOrConstant.java

src/pipe/dataLayer/colors/IntOrConstantRange.java

src/pipe/dataLayer/colors/IntervalBound.java

src/pipe/dataLayer/colors/Preserve.java

src/pipe/dataLayer/simulation

src/pipe/dataLayer/simulation/Marking.java

src/pipe/dataLayer/simulation/Token.java

src/pipe/exception

src/pipe/exception/InvariantViolatedAnimationException.java

src/pipe/gui/ColoredTraceTransformer.java

src/pipe/gui/TikZExporterForColoredTAPN.java

src/pipe/gui/TraceTransformer.java

src/pipe/gui/action/EditGroupAction.java

src/pipe/gui/action/EditServerAction.java

src/pipe/gui/action/EditTaggedAction.java

src/pipe/gui/action/EditTimeIntervalAction.java

src/pipe/gui/action/GetIndexAction.java

src/pipe/gui/undo/ClearInverseArcEdit.java

src/pipe/gui/undo/ColorSetEdit.java

src/pipe/gui/undo/ColoredInhibArcColorGuardEdit.java

src/pipe/gui/undo/ColoredInhibitorArcTimeGuardEdit.java

src/pipe/gui/undo/ColoredInputArcColorGuardEdit.java

src/pipe/gui/undo/ColoredInputArcTimeGuardEdit.java

src/pipe/gui/undo/ColoredOutputArcOutputValueEdit.java

src/pipe/gui/undo/ColoredPlaceAddTokenEdit.java

src/pipe/gui/undo/ColoredPlaceRemoveTokenEdit.java

src/pipe/gui/undo/ColoredPlaceTokensChangedEdit.java

src/pipe/gui/undo/ColoredTimedPlaceTimeInvariantEdit.java

src/pipe/gui/undo/ColoredTransportArcColorGuardEdit.java

src/pipe/gui/undo/ColoredTransportArcPreserveEdit.java

src/pipe/gui/undo/ColoredTransportArcTimeGuardEdit.java

src/pipe/gui/undo/ColoredTransportArcUpdateValueEdit.java

src/pipe/gui/undo/JoinInverseArcEdit.java

src/pipe/gui/undo/PetriNetObjectNameEdit.java

src/pipe/gui/undo/PlaceCapacityEdit.java

src/pipe/gui/undo/PlaceColorInvariantEdit.java

src/pipe/gui/undo/PlaceMarkingEdit.java

src/pipe/gui/undo/SetInverseArcEdit.java

src/pipe/gui/undo/SplitInverseArcEdit.java

src/pipe/gui/undo/TagArcEdit.java

src/pipe/gui/undo/TimeGuardEdit.java

src/pipe/gui/undo/TimedPlaceTokenEdit.java

src/pipe/gui/undo/TokenValueEdit.java

src/pipe/gui/undo/TransitionServerSemanticEdit.java

src/pipe/gui/undo/UndoableEdit.java

src/pipe/gui/widgets/AddTokenPanel.java

src/pipe/gui/widgets/AnnotationPanel.form

src/pipe/gui/widgets/ConstantsDialogPanel.form

src/pipe/gui/widgets/LeftConstantsPane.form

src/pipe/gui/widgets/OutputValueEditorPanel.java

src/pipe/gui/widgets/ParameterPanel.form

src/pipe/gui/widgets/PlaceEditorPanel.form

src/pipe/gui/widgets/ProgressBar.form

src/pipe/gui/widgets/RemoveTokenPanel.java

src/pipe/gui/widgets/TokenTableModel.java

src/pipe/gui/widgets/TransitionEditor.form

files renamed:
src/dk/aau/cs/TA/ => src/dk/aau/cs/model/NTA/

src/pipe/dataLayer/TAPNInhibitorArc.java => src/pipe/dataLayer/TimedInhibitorArcComponent.java

src/pipe/dataLayer/NormalArc.java => src/pipe/dataLayer/TimedOutputArcComponent.java

src/pipe/dataLayer/TimedPlace.java => src/pipe/dataLayer/TimedPlaceComponent.java

src/pipe/dataLayer/TransportArc.java => src/pipe/dataLayer/TransportArcComponent.java

src/pipe/gui/AnimationHistory.java => src/pipe/gui/AnimationHistoryComponent.java

src/pipe/gui/GuiView.java => src/pipe/gui/DrawingSurfaceImpl.java

src/pipe/gui/widgets/LeftConstantsPane.java => src/pipe/gui/widgets/ConstantsPane.java

src/pipe/gui/widgets/QueryDialogue.java => src/pipe/gui/widgets/QueryDialog.java

src/pipe/gui/widgets/LeftQueryPane.java => src/pipe/gui/widgets/QueryPane.java

files modified:
.bzrignore

src/dk/aau/cs/Messenger.java

src/dk/aau/cs/TCTL/Parsing/TAPAALQuery.cgt

src/dk/aau/cs/TCTL/Parsing/TAPAALQuery.grm

src/dk/aau/cs/TCTL/Parsing/TAPAALQueryParser.java

src/dk/aau/cs/TCTL/StringPosition.java

src/dk/aau/cs/TCTL/TCTLAFNode.java

src/dk/aau/cs/TCTL/TCTLAGNode.java

src/dk/aau/cs/TCTL/TCTLAbstractPathProperty.java

src/dk/aau/cs/TCTL/TCTLAbstractProperty.java

src/dk/aau/cs/TCTL/TCTLAbstractStateProperty.java

src/dk/aau/cs/TCTL/TCTLAndListNode.java

src/dk/aau/cs/TCTL/TCTLAtomicPropositionNode.java

src/dk/aau/cs/TCTL/TCTLEFNode.java

src/dk/aau/cs/TCTL/TCTLEGNode.java

src/dk/aau/cs/TCTL/TCTLNotNode.java

src/dk/aau/cs/TCTL/TCTLOrListNode.java

src/dk/aau/cs/TCTL/TCTLPathPlaceHolder.java

src/dk/aau/cs/TCTL/TCTLStatePlaceHolder.java

src/dk/aau/cs/TCTL/visitors/BroadcastTranslationQueryVisitor.java

src/dk/aau/cs/TCTL/visitors/ITCTLVisitor.java

src/dk/aau/cs/TCTL/visitors/OptimizedStandardTranslationQueryVisitor.java

src/dk/aau/cs/TCTL/visitors/QueryVisitor.java

src/dk/aau/cs/TCTL/visitors/RenamePlaceTCTLVisitor.java

src/dk/aau/cs/TCTL/visitors/StandardSymmetryTranslationQueryVisitor.java

src/dk/aau/cs/TCTL/visitors/StandardTranslationQueryVisitor.java

src/dk/aau/cs/TCTL/visitors/VerifyPlaceNamesVisitor.java

src/dk/aau/cs/debug/Logger.java

src/dk/aau/cs/model/NTA/Edge.java

src/dk/aau/cs/model/NTA/Location.java

src/dk/aau/cs/model/NTA/NTA.java

src/dk/aau/cs/model/NTA/StandardUPPAALQuery.java

src/dk/aau/cs/model/NTA/SupQuery.java

src/dk/aau/cs/model/NTA/TimedAutomaton.java

src/dk/aau/cs/model/NTA/UPPAALQuery.java

src/dk/aau/cs/model/NTA/trace/Participant.java

src/dk/aau/cs/model/NTA/trace/SymbolicState.java

src/dk/aau/cs/model/NTA/trace/TAFiringAction.java

src/dk/aau/cs/model/NTA/trace/TimeDelayFiringAction.java

src/dk/aau/cs/model/NTA/trace/TransitionFiring.java

src/dk/aau/cs/model/NTA/trace/UppaalTrace.java

src/dk/aau/cs/model/NTA/trace/ValueRange.java

src/dk/aau/cs/translations/ModelTranslator.java

src/dk/aau/cs/translations/ReductionOption.java

src/dk/aau/cs/translations/TranslationNamingScheme.java

src/dk/aau/cs/translations/tapn/BroadcastTranslation.java

src/dk/aau/cs/translations/tapn/Degree2BroadcastKBoundOptimizeTranslation.java

src/dk/aau/cs/translations/tapn/Degree2BroadcastTranslation.java

src/dk/aau/cs/translations/tapn/OptimizedStandardTranslation.java

src/dk/aau/cs/translations/tapn/StandardTranslation.java

src/dk/aau/cs/verification/BufferDrain.java

src/dk/aau/cs/verification/ModelChecker.java

src/dk/aau/cs/verification/ProcessRunner.java

src/dk/aau/cs/verification/QueryResult.java

src/dk/aau/cs/verification/UPPAAL/ExportedModel.java

src/dk/aau/cs/verification/UPPAAL/UppaalExporter.java

src/dk/aau/cs/verification/UPPAAL/Verifyta.java

src/dk/aau/cs/verification/UPPAAL/VerifytaOptions.java

src/dk/aau/cs/verification/UPPAAL/VerifytaOutputParser.java

src/dk/aau/cs/verification/UPPAAL/VerifytaTraceInterpreter.java

src/dk/aau/cs/verification/UPPAAL/VerifytaTraceParser.java

src/dk/aau/cs/verification/VerificationOptions.java

src/dk/aau/cs/verification/VerificationResult.java

src/net/tapaal/TAPAAL.java

src/pipe/dataLayer/AnnotationNote.java

src/pipe/dataLayer/Arc.java

src/pipe/dataLayer/ArcPath.java

src/pipe/dataLayer/ArcPathPoint.java

src/pipe/dataLayer/DataLayer.java

src/pipe/dataLayer/InhibitorArc.java

src/pipe/dataLayer/NameLabel.java

src/pipe/dataLayer/NetType.java

src/pipe/dataLayer/Note.java

src/pipe/dataLayer/PetriNetObject.java

src/pipe/dataLayer/Place.java

src/pipe/dataLayer/PlaceTransitionObject.java

src/pipe/dataLayer/TAPNQuery.java

src/pipe/dataLayer/Transition.java

src/pipe/gui/AnimationController.java

src/pipe/gui/Animator.java

src/pipe/gui/BlankLayer.java

src/pipe/gui/CopyPasteable.java

src/pipe/gui/CreateGui.java

src/pipe/gui/Export.java

src/pipe/gui/ExtensionFilter.java

src/pipe/gui/Grid.java

src/pipe/gui/GuiFrame.java

src/pipe/gui/KBoundAnalyzer.java

src/pipe/gui/KBoundOptimizer.java

src/pipe/gui/MessengerImpl.java

src/pipe/gui/Pipe.java

src/pipe/gui/RunKBoundAnalysis.java

src/pipe/gui/RunKBoundOptimization.java

src/pipe/gui/RunVerification.java

src/pipe/gui/RunVerificationBase.java

src/pipe/gui/SelectionManager.java

src/pipe/gui/StatusBar.java

src/pipe/gui/TikZExporter.java

src/pipe/gui/Translatable.java

src/pipe/gui/Verifier.java

src/pipe/gui/VersionChecker.java

src/pipe/gui/Zoomable.java

src/pipe/gui/Zoomer.java

src/pipe/gui/action/DeletePetriNetObjectAction.java

src/pipe/gui/action/EditAnnotationBackgroundAction.java

src/pipe/gui/action/EditAnnotationBorderAction.java

src/pipe/gui/action/EditNoteAction.java

src/pipe/gui/action/EditWeightAction.java

src/pipe/gui/action/GuiAction.java

src/pipe/gui/action/InsertPointAction.java

src/pipe/gui/action/ShowHideInfoAction.java

src/pipe/gui/action/SplitArcAction.java

src/pipe/gui/action/SplitArcPointAction.java

src/pipe/gui/action/ToggleArcPointAction.java

src/pipe/gui/handler/AnimationHandler.java

src/pipe/gui/handler/AnnotationNoteHandler.java

src/pipe/gui/handler/ArcHandler.java

src/pipe/gui/handler/ArcKeyboardEventHandler.java

src/pipe/gui/handler/ArcPathPointHandler.java

src/pipe/gui/handler/LabelHandler.java

src/pipe/gui/handler/NoteHandler.java

src/pipe/gui/handler/PetriNetObjectHandler.java

src/pipe/gui/handler/PlaceHandler.java

src/pipe/gui/handler/PlaceTransitionObjectHandler.java

src/pipe/gui/handler/TAPNTransitionHandler.java

src/pipe/gui/handler/TimedArcHandler.java

src/pipe/gui/handler/TransitionHandler.java

src/pipe/gui/handler/TransportArcHandler.java

src/pipe/gui/undo/AddArcPathPointEdit.java

src/pipe/gui/undo/AddConstantEdit.java

src/pipe/gui/undo/AddPetriNetObjectEdit.java

src/pipe/gui/undo/AnnotationBorderEdit.java

src/pipe/gui/undo/AnnotationTextEdit.java

src/pipe/gui/undo/ArcPathPointTypeEdit.java

src/pipe/gui/undo/ArcTimeIntervalEdit.java

src/pipe/gui/undo/ArcWeightEdit.java

src/pipe/gui/undo/DeleteArcPathPointEdit.java

src/pipe/gui/undo/DeletePetriNetObjectEdit.java

src/pipe/gui/undo/RemoveConstantEdit.java

src/pipe/gui/undo/TimedPlaceInvariantEdit.java

src/pipe/gui/undo/TransitionRotationEdit.java

src/pipe/gui/undo/TransitionTimingEdit.java

src/pipe/gui/undo/TranslatePetriNetObjectEdit.java

src/pipe/gui/undo/TransportArcGroupEdit.java

src/pipe/gui/undo/UndoManager.java

src/pipe/gui/undo/UpdateConstantEdit.java

src/pipe/gui/widgets/AnimationSelectmodeDialog.java

src/pipe/gui/widgets/AnnotationPanel.java

src/pipe/gui/widgets/ConstantsDialogPanel.java

src/pipe/gui/widgets/EscapableDialog.java

src/pipe/gui/widgets/FileBrowser.java

src/pipe/gui/widgets/GuardDialogue.java

src/pipe/gui/widgets/JSplitPaneFix.java

src/pipe/gui/widgets/NewTAPNPanel.java

src/pipe/gui/widgets/PlaceEditorPanel.java

src/pipe/gui/widgets/RunningVerificationDialog.java

src/pipe/gui/widgets/TAPNTransitionEditor.java

src/resources/Example nets/alternating-bit-protocol-transport.xml

src/resources/Example nets/alternating-bit-protocol.xml

src/resources/Example nets/fischer-protocol.xml

src/resources/Example nets/intro-example.xml

src/resources/Example nets/producer-consumer.xml

src/resources/Example nets/webserver.xml

src/resources/Example nets/workflow.xml

Show diffs side-by-side

added added

removed removed

libs/gtkjfilechooser.jar

libs/gtkjfilechooser.jar

libs/jpowergraph-0.2-common.jar

libs/jpowergraph-0.2-swing.jar

src/CmdTranslator.java

src/dk/aau/cs/Messenger.java

src/dk/aau/cs/TCTL/Parsing/TAPAALQuery.cgt

src/dk/aau/cs/TCTL/Parsing/TAPAALQuery.grm

src/dk/aau/cs/TCTL/Parsing/TAPAALQueryParser.java

src/dk/aau/cs/TCTL/StringPosition.java

src/dk/aau/cs/TCTL/TCTLAFNode.java

src/dk/aau/cs/TCTL/TCTLAGNode.java

src/dk/aau/cs/TCTL/TCTLAbstractPathProperty.java

src/dk/aau/cs/TCTL/TCTLAbstractProperty.java

src/dk/aau/cs/TCTL/TCTLAbstractStateProperty.java

src/dk/aau/cs/TCTL/TCTLAndListNode.java

src/dk/aau/cs/TCTL/TCTLAtomicPropositionNode.java

src/dk/aau/cs/TCTL/TCTLEFNode.java

src/dk/aau/cs/TCTL/TCTLEGNode.java

src/dk/aau/cs/TCTL/TCTLNotNode.java

src/dk/aau/cs/TCTL/TCTLOrListNode.java

src/dk/aau/cs/TCTL/TCTLPathPlaceHolder.java

src/dk/aau/cs/TCTL/TCTLStatePlaceHolder.java

src/dk/aau/cs/TCTL/visitors/AddTemplateVisitor.java

src/dk/aau/cs/TCTL/visitors/BooleanResult.java

src/dk/aau/cs/TCTL/visitors/BroadcastTranslationQueryVisitor.java

src/dk/aau/cs/TCTL/visitors/ContainsAtomicPropWithSharedPlaceVisitor.java

src/dk/aau/cs/TCTL/visitors/ITCTLVisitor.java

src/dk/aau/cs/TCTL/visitors/OptimizedStandardTranslationQueryVisitor.java

src/dk/aau/cs/TCTL/visitors/QueryVisitor.java

src/dk/aau/cs/TCTL/visitors/RenameAllPlacesVisitor.java

src/dk/aau/cs/TCTL/visitors/RenamePlaceTCTLVisitor.java

src/dk/aau/cs/TCTL/visitors/RenameSharedPlaceVisitor.java

src/dk/aau/cs/TCTL/visitors/RenameTemplateVisitor.java

src/dk/aau/cs/TCTL/visitors/StandardSymmetryTranslationQueryVisitor.java

src/dk/aau/cs/TCTL/visitors/StandardTranslationQueryVisitor.java

src/dk/aau/cs/TCTL/visitors/VerifyPlaceNamesVisitor.java

src/dk/aau/cs/TCTL/visitors/VisitorBase.java

src/dk/aau/cs/debug/Logger.java

src/dk/aau/cs/gui/

src/dk/aau/cs/gui/Context.java

src/dk/aau/cs/gui/DrawingSurface.java

src/dk/aau/cs/gui/NameGenerator.java

src/dk/aau/cs/gui/SharedPlaceNamePanel.java

src/dk/aau/cs/gui/SharedPlacesAndTransitionsPanel.java

src/dk/aau/cs/gui/SharedTransitionNamePanel.java

src/dk/aau/cs/gui/TabComponent.java

src/dk/aau/cs/gui/TabContent.java

src/dk/aau/cs/gui/TemplateExplorer.java

src/dk/aau/cs/gui/components/

src/dk/aau/cs/gui/components/PetriNetElementControl.java

src/dk/aau/cs/gui/components/TextLabel.java

src/dk/aau/cs/gui/components/TimedPlaceControl.java

src/dk/aau/cs/gui/components/handlers/

src/dk/aau/cs/gui/components/handlers/ClickHandler.java

src/dk/aau/cs/gui/components/handlers/DragHandler.java

src/dk/aau/cs/gui/undo/

src/dk/aau/cs/gui/undo/AddPetriNetControlCommand.java

src/dk/aau/cs/gui/undo/AddSharedPlaceCommand.java

src/dk/aau/cs/gui/undo/AddSharedTransitionCommand.java

src/dk/aau/cs/gui/undo/ChangedInvariantCommand.java

src/dk/aau/cs/gui/undo/Command.java

src/dk/aau/cs/gui/undo/DeleteQueriesCommand.java

src/dk/aau/cs/gui/undo/DeleteSharedPlaceCommand.java

src/dk/aau/cs/gui/undo/DeleteSharedTransitionCommand.java

src/dk/aau/cs/gui/undo/MakePlaceSharedCommand.java

src/dk/aau/cs/gui/undo/MakeTransitionSharedCommand.java

src/dk/aau/cs/gui/undo/RenameSharedPlaceCommand.java

src/dk/aau/cs/gui/undo/RenameSharedTransitionCommand.java

src/dk/aau/cs/gui/undo/RenameTimedPlaceCommand.java

src/dk/aau/cs/gui/undo/RenameTimedTransitionCommand.java

src/dk/aau/cs/gui/undo/TimedPlaceMarkingEdit.java

src/dk/aau/cs/gui/undo/UnsharePlaceCommand.java

src/dk/aau/cs/gui/undo/UnshareTransitionCommand.java

src/dk/aau/cs/io/

src/dk/aau/cs/io/LoadedModel.java

src/dk/aau/cs/io/ModelLoader.java

src/dk/aau/cs/io/TapnLegacyXmlLoader.java

src/dk/aau/cs/io/TapnXmlLoader.java

src/dk/aau/cs/io/TimedArcPetriNetNetworkWriter.java

src/dk/aau/cs/model/

src/dk/aau/cs/model/NTA/Edge.java

src/dk/aau/cs/model/NTA/Location.java

src/dk/aau/cs/model/NTA/NTA.java

src/dk/aau/cs/model/NTA/StandardUPPAALQuery.java

src/dk/aau/cs/model/NTA/SupQuery.java

src/dk/aau/cs/model/NTA/TimedAutomaton.java

src/dk/aau/cs/model/NTA/UPPAALQuery.java

src/dk/aau/cs/model/NTA/trace/Participant.java

src/dk/aau/cs/model/NTA/trace/SymbolicState.java

src/dk/aau/cs/model/NTA/trace/TAFiringAction.java

src/dk/aau/cs/model/NTA/trace/TimeDelayFiringAction.java

src/dk/aau/cs/model/NTA/trace/TransitionFiring.java

src/dk/aau/cs/model/NTA/trace/UppaalTrace.java

src/dk/aau/cs/model/NTA/trace/ValueRange.java

src/dk/aau/cs/model/tapn/

src/dk/aau/cs/model/tapn/Bound.java

src/dk/aau/cs/model/tapn/Constant.java

src/dk/aau/cs/model/tapn/ConstantBound.java

src/dk/aau/cs/model/tapn/ConstantStore.java

src/dk/aau/cs/model/tapn/IntBound.java

src/dk/aau/cs/model/tapn/LocalTimedMarking.java

src/dk/aau/cs/model/tapn/LocalTimedPlace.java

src/dk/aau/cs/model/tapn/NetworkMarking.java

src/dk/aau/cs/model/tapn/SharedPlace.java

src/dk/aau/cs/model/tapn/SharedTransition.java

src/dk/aau/cs/model/tapn/TAPNElement.java

src/dk/aau/cs/model/tapn/TimeInterval.java

src/dk/aau/cs/model/tapn/TimeInvariant.java

src/dk/aau/cs/model/tapn/TimedArcPetriNet.java

src/dk/aau/cs/model/tapn/TimedArcPetriNetNetwork.java

src/dk/aau/cs/model/tapn/TimedInhibitorArc.java

src/dk/aau/cs/model/tapn/TimedInputArc.java

src/dk/aau/cs/model/tapn/TimedMarking.java

src/dk/aau/cs/model/tapn/TimedOutputArc.java

src/dk/aau/cs/model/tapn/TimedPlace.java

src/dk/aau/cs/model/tapn/TimedToken.java

src/dk/aau/cs/model/tapn/TimedTransition.java

src/dk/aau/cs/model/tapn/TransportArc.java

src/dk/aau/cs/model/tapn/event/

src/dk/aau/cs/model/tapn/event/TimedPlaceEvent.java

src/dk/aau/cs/model/tapn/event/TimedPlaceListener.java

src/dk/aau/cs/model/tapn/event/TimedTransitionEvent.java

src/dk/aau/cs/model/tapn/event/TimedTransitionListener.java

src/dk/aau/cs/model/tapn/simulation/

src/dk/aau/cs/model/tapn/simulation/FiringMode.java

src/dk/aau/cs/model/tapn/simulation/OldestFiringMode.java

src/dk/aau/cs/model/tapn/simulation/RandomFiringMode.java

src/dk/aau/cs/model/tapn/simulation/TAPNNetworkTimeDelayStep.java

src/dk/aau/cs/model/tapn/simulation/TAPNNetworkTimedTransitionStep.java

src/dk/aau/cs/model/tapn/simulation/TAPNNetworkTrace.java

src/dk/aau/cs/model/tapn/simulation/TAPNNetworkTraceStep.java

src/dk/aau/cs/model/tapn/simulation/TimeDelayStep.java

src/dk/aau/cs/model/tapn/simulation/TimedArcPetriNetStep.java

src/dk/aau/cs/model/tapn/simulation/TimedArcPetriNetTrace.java

src/dk/aau/cs/model/tapn/simulation/TimedTAPNNetworkTrace.java

src/dk/aau/cs/model/tapn/simulation/TimedTransitionStep.java

src/dk/aau/cs/model/tapn/simulation/UntimedTAPNNetworkTrace.java

src/dk/aau/cs/model/tapn/simulation/YoungestFiringMode.java

src/dk/aau/cs/petrinet/

src/dk/aau/cs/petrinet/Arc.java

src/dk/aau/cs/petrinet/Degree2Converter.java

src/dk/aau/cs/petrinet/Location.java

src/dk/aau/cs/petrinet/PetriNet.java

src/dk/aau/cs/petrinet/PetriNetUtil.java

src/dk/aau/cs/petrinet/PipeTapnToAauTapnTransformer.java

src/dk/aau/cs/petrinet/Place.java

src/dk/aau/cs/petrinet/PlaceTransitionObject.java

src/dk/aau/cs/petrinet/PrioritizedTAPNTransition.java

src/dk/aau/cs/petrinet/TAPN.java

src/dk/aau/cs/petrinet/TAPNArc.java

src/dk/aau/cs/petrinet/TAPNFactory.java

src/dk/aau/cs/petrinet/TAPNInhibitorArc.java

src/dk/aau/cs/petrinet/TAPNPlace.java

src/dk/aau/cs/petrinet/TAPNQuery.java

src/dk/aau/cs/petrinet/TAPNTransition.java

src/dk/aau/cs/petrinet/TAPNTransportArc.java

src/dk/aau/cs/petrinet/TimedArcPetriNet.java

src/dk/aau/cs/petrinet/Token.java

src/dk/aau/cs/petrinet/Transition.java

src/dk/aau/cs/petrinet/colors/

src/dk/aau/cs/petrinet/colors/ColorSet.java

src/dk/aau/cs/petrinet/colors/ColoredInhibitorArc.java

src/dk/aau/cs/petrinet/colors/ColoredInputArc.java

src/dk/aau/cs/petrinet/colors/ColoredInterval.java

src/dk/aau/cs/petrinet/colors/ColoredOutputArc.java

src/dk/aau/cs/petrinet/colors/ColoredPipeTapnToColoredAauTapnTransformer.java

src/dk/aau/cs/petrinet/colors/ColoredPlace.java

src/dk/aau/cs/petrinet/colors/ColoredTAPN.java

src/dk/aau/cs/petrinet/colors/ColoredTimeInvariant.java

src/dk/aau/cs/petrinet/colors/ColoredTimedArcPetriNet.java

src/dk/aau/cs/petrinet/colors/ColoredToken.java

src/dk/aau/cs/petrinet/colors/ColoredTransportArc.java

src/dk/aau/cs/petrinet/colors/CompositeInterval.java

src/dk/aau/cs/petrinet/colors/IntegerRange.java

src/dk/aau/cs/petrinet/colors/IntervalBound.java

src/dk/aau/cs/petrinet/colors/Preservation.java

src/dk/aau/cs/petrinet/degree2converters/

src/dk/aau/cs/petrinet/degree2converters/ColoredInhibDegree2Converter.java

src/dk/aau/cs/petrinet/degree2converters/InhibDegree2Converter.java

src/dk/aau/cs/petrinet/degree2converters/InhibitorToPrioritiesDegree2Converter.java

src/dk/aau/cs/petrinet/degree2converters/KyrketestUppaalSym.java

src/dk/aau/cs/petrinet/degree2converters/NaiveDegree2Converter.java

src/dk/aau/cs/petrinet/degree2converters/OptimizedInhibitorToPrioritiesDegree2Converter.java

src/dk/aau/cs/petrinet/trace/

src/dk/aau/cs/petrinet/trace/ColoredTransitionFiringAction.java

src/dk/aau/cs/petrinet/trace/TAPNFiringAction.java

src/dk/aau/cs/petrinet/trace/TAPNTrace.java

src/dk/aau/cs/petrinet/trace/TimeDelayFiringAction.java

src/dk/aau/cs/petrinet/trace/TransitionFiringAction.java

src/dk/aau/cs/translations/ColoredTranslationNamingScheme.java

src/dk/aau/cs/translations/Degree2Converter.java

src/dk/aau/cs/translations/Degree2Pairing.java

src/dk/aau/cs/translations/ModelTranslator.java

src/dk/aau/cs/translations/NonOptimizingDegree2Converter.java

src/dk/aau/cs/translations/Pairing.java

src/dk/aau/cs/translations/Pairing.java

src/dk/aau/cs/translations/QueryTranslator.java

src/dk/aau/cs/translations/ReductionOption.java

src/dk/aau/cs/translations/TranslationNamingScheme.java

src/dk/aau/cs/translations/UppaalTransformer.java

src/dk/aau/cs/translations/coloredtapn/

src/dk/aau/cs/translations/coloredtapn/ColoredBroadcastTranslation.java

src/dk/aau/cs/translations/coloredtapn/ColoredDegree2BroadcastKBoundOptimizationTransformer.java

src/dk/aau/cs/translations/coloredtapn/ColoredDegree2BroadcastTranslation.java

src/dk/aau/cs/translations/tapn/BroadcastTranslation.java

src/dk/aau/cs/translations/tapn/Degree2BroadcastKBoundOptimizeTranslation.java

src/dk/aau/cs/translations/tapn/Degree2BroadcastTranslation.java

src/dk/aau/cs/translations/tapn/OptimizedStandardNamingScheme.java

src/dk/aau/cs/translations/tapn/OptimizedStandardSymmetryTranslation.java

src/dk/aau/cs/translations/tapn/OptimizedStandardTranslation.java

src/dk/aau/cs/translations/tapn/StandardNamingScheme.java

src/dk/aau/cs/translations/tapn/StandardSymmetryTranslation.java

src/dk/aau/cs/translations/tapn/StandardTranslation.java

src/dk/aau/cs/translations/tapn/TAPNToConservativeTAPNConverter.java

src/dk/aau/cs/util/

src/dk/aau/cs/util/FormatException.java

src/dk/aau/cs/util/Require.java

src/dk/aau/cs/util/RequireException.java

src/dk/aau/cs/util/Tuple.java

src/dk/aau/cs/verification/BufferDrain.java

src/dk/aau/cs/verification/ModelChecker.java

src/dk/aau/cs/verification/NameMapping.java

src/dk/aau/cs/verification/ProcessRunner.java

src/dk/aau/cs/verification/QueryResult.java

src/dk/aau/cs/verification/TAPNComposer.java

src/dk/aau/cs/verification/TAPNTraceDecomposer.java

src/dk/aau/cs/verification/UPPAAL/ExportedModel.java

src/dk/aau/cs/verification/UPPAAL/UppaalExporter.java

src/dk/aau/cs/verification/UPPAAL/Verifyta.java

src/dk/aau/cs/verification/UPPAAL/VerifytaColoredTraceInterpreter.java

src/dk/aau/cs/verification/UPPAAL/VerifytaOptions.java

src/dk/aau/cs/verification/UPPAAL/VerifytaOutputParser.java

src/dk/aau/cs/verification/UPPAAL/VerifytaTraceInterpreter.java

src/dk/aau/cs/verification/UPPAAL/VerifytaTraceParser.java

src/dk/aau/cs/verification/VerificationOptions.java

src/dk/aau/cs/verification/VerificationResult.java

src/dk/aau/cs/verification/VerifyTAPN/

src/dk/aau/cs/verification/VerifyTAPN/ExportedVerifyTAPNModel.java

src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPN.java

src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNExporter.java

src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNOptions.java

src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNOutputParser.java

src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNTraceParser.java

src/net/tapaal/TAPAAL.java

src/pipe/dataLayer/AnnotationNote.java

src/pipe/dataLayer/Arc.java

src/pipe/dataLayer/ArcPath.java

src/pipe/dataLayer/ArcPathPoint.java

src/pipe/dataLayer/ColoredDiscreteFiringAction.java

src/pipe/dataLayer/Constant.java

src/pipe/dataLayer/ConstantStore.java

src/pipe/dataLayer/DataLayer.java

src/pipe/dataLayer/DataLayerWriter.java

src/pipe/dataLayer/DiscreetFiringAction.java

src/pipe/dataLayer/FiringAction.java

src/pipe/dataLayer/InhibitorArc.java

src/pipe/dataLayer/NameLabel.java

src/pipe/dataLayer/NetType.java

src/pipe/dataLayer/Note.java

src/pipe/dataLayer/PNMLTransformer.java

src/pipe/dataLayer/PNMLWriter.java

src/pipe/dataLayer/PetriNetObject.java

src/pipe/dataLayer/Place.java

src/pipe/dataLayer/PlaceTransitionObject.java

src/pipe/dataLayer/TAPNQuery.java

src/pipe/dataLayer/TAPNTrace.java

src/pipe/dataLayer/TAPNTransition.java

src/pipe/dataLayer/Template.java

src/pipe/dataLayer/TimeDelayFiringAction.java

src/pipe/dataLayer/TimedArc.java

src/pipe/dataLayer/TimedInhibitorArcComponent.java

src/pipe/dataLayer/TimedInputArcComponent.java

src/pipe/dataLayer/TimedOutputArcComponent.java

src/pipe/dataLayer/TimedPlaceComponent.java

src/pipe/dataLayer/TimedTransitionComponent.java

src/pipe/dataLayer/Transition.java

src/pipe/dataLayer/TransportArcComponent.java

src/pipe/dataLayer/colors/

src/pipe/dataLayer/colors/ColorSet.java

src/pipe/dataLayer/colors/ColoredInhibitorArc.java

src/pipe/dataLayer/colors/ColoredInputArc.java

src/pipe/dataLayer/colors/ColoredInterval.java

src/pipe/dataLayer/colors/ColoredOutputArc.java

src/pipe/dataLayer/colors/ColoredTimeInvariant.java

src/pipe/dataLayer/colors/ColoredTimedPlace.java

src/pipe/dataLayer/colors/ColoredToken.java

src/pipe/dataLayer/colors/ColoredTransportArc.java

src/pipe/dataLayer/colors/IntOrConstant.java

src/pipe/dataLayer/colors/IntOrConstantRange.java

src/pipe/dataLayer/colors/IntervalBound.java

src/pipe/dataLayer/colors/Preserve.java

src/pipe/dataLayer/simulation/

src/pipe/dataLayer/simulation/Marking.java

src/pipe/dataLayer/simulation/Token.java

src/pipe/exception/

src/pipe/exception/InvariantViolatedAnimationException.java

src/pipe/gui/AnimationController.java

src/pipe/gui/AnimationHistoryComponent.java

src/pipe/gui/Animator.java

src/pipe/gui/BlankLayer.java

src/pipe/gui/ColoredTraceTransformer.java

src/pipe/gui/CopyPasteable.java

src/pipe/gui/CreateGui.java

src/pipe/gui/DrawingSurfaceImpl.java

src/pipe/gui/Export.java

src/pipe/gui/ExtensionFilter.java

src/pipe/gui/Grid.java

src/pipe/gui/GuiFrame.java

src/pipe/gui/KBoundAnalyzer.java

src/pipe/gui/KBoundOptimizer.java

src/pipe/gui/MessengerImpl.java

src/pipe/gui/Pipe.java

src/pipe/gui/RunKBoundAnalysis.java

src/pipe/gui/RunKBoundOptimization.java

src/pipe/gui/RunVerification.java

src/pipe/gui/RunVerificationBase.java

src/pipe/gui/SelectionManager.java

src/pipe/gui/StatusBar.java

src/pipe/gui/TikZExporter.java

src/pipe/gui/TikZExporterForColoredTAPN.java

src/pipe/gui/TraceTransformer.java

src/pipe/gui/Translatable.java

src/pipe/gui/Verifier.java

src/pipe/gui/VersionChecker.java

src/pipe/gui/Zoomable.java

src/pipe/gui/Zoomer.java

src/pipe/gui/action/DeletePetriNetObjectAction.java

src/pipe/gui/action/EditAnnotationBackgroundAction.java

src/pipe/gui/action/EditAnnotationBorderAction.java

src/pipe/gui/action/EditGroupAction.java

src/pipe/gui/action/EditNoteAction.java

src/pipe/gui/action/EditServerAction.java

src/pipe/gui/action/EditTaggedAction.java

src/pipe/gui/action/EditTimeIntervalAction.java

src/pipe/gui/action/EditWeightAction.java

src/pipe/gui/action/GetIndexAction.java

src/pipe/gui/action/GuiAction.java

src/pipe/gui/action/InsertPointAction.java

src/pipe/gui/action/ShowHideInfoAction.java

src/pipe/gui/action/SplitArcAction.java

src/pipe/gui/action/SplitArcPointAction.java

src/pipe/gui/action/ToggleArcPointAction.java

src/pipe/gui/handler/AnimationHandler.java

src/pipe/gui/handler/AnnotationNoteHandler.java

src/pipe/gui/handler/ArcHandler.java

src/pipe/gui/handler/ArcKeyboardEventHandler.java

src/pipe/gui/handler/ArcPathPointHandler.java

src/pipe/gui/handler/LabelHandler.java

src/pipe/gui/handler/NoteHandler.java

src/pipe/gui/handler/PetriNetObjectHandler.java

src/pipe/gui/handler/PlaceHandler.java

src/pipe/gui/handler/PlaceTransitionObjectHandler.java

src/pipe/gui/handler/TAPNTransitionHandler.java

src/pipe/gui/handler/TimedArcHandler.java

src/pipe/gui/handler/TransitionHandler.java

src/pipe/gui/handler/TransportArcHandler.java

src/pipe/gui/undo/AddArcPathPointEdit.java

src/pipe/gui/undo/AddConstantEdit.java

src/pipe/gui/undo/AddPetriNetObjectEdit.java

src/pipe/gui/undo/AddQueryCommand.java

src/pipe/gui/undo/AddTemplateCommand.java

src/pipe/gui/undo/AddTimedInhibitorArcCommand.java

src/pipe/gui/undo/AddTimedInputArcCommand.java

src/pipe/gui/undo/AddTimedOutputArcCommand.java

src/pipe/gui/undo/AddTimedPlaceCommand.java

src/pipe/gui/undo/AddTimedTransitionCommand.java

src/pipe/gui/undo/AddTransportArcCommand.java

src/pipe/gui/undo/AnnotationBorderEdit.java

src/pipe/gui/undo/AnnotationTextEdit.java

src/pipe/gui/undo/ArcPathPointTypeEdit.java

src/pipe/gui/undo/ArcTimeIntervalEdit.java

src/pipe/gui/undo/ArcWeightEdit.java

src/pipe/gui/undo/ClearInverseArcEdit.java

src/pipe/gui/undo/ColorSetEdit.java

src/pipe/gui/undo/ColoredInhibArcColorGuardEdit.java

src/pipe/gui/undo/ColoredInhibitorArcTimeGuardEdit.java

src/pipe/gui/undo/ColoredInputArcColorGuardEdit.java

src/pipe/gui/undo/ColoredInputArcTimeGuardEdit.java

src/pipe/gui/undo/ColoredOutputArcOutputValueEdit.java

src/pipe/gui/undo/ColoredPlaceAddTokenEdit.java

src/pipe/gui/undo/ColoredPlaceRemoveTokenEdit.java

src/pipe/gui/undo/ColoredPlaceTokensChangedEdit.java

src/pipe/gui/undo/ColoredTimedPlaceTimeInvariantEdit.java

src/pipe/gui/undo/ColoredTransportArcColorGuardEdit.java

src/pipe/gui/undo/ColoredTransportArcPreserveEdit.java

src/pipe/gui/undo/ColoredTransportArcTimeGuardEdit.java

src/pipe/gui/undo/ColoredTransportArcUpdateValueEdit.java

src/pipe/gui/undo/DeleteArcPathPointEdit.java

src/pipe/gui/undo/DeletePetriNetObjectEdit.java

src/pipe/gui/undo/DeleteTimedInhibitorArcCommand.java

src/pipe/gui/undo/DeleteTimedInputArcCommand.java

src/pipe/gui/undo/DeleteTimedOutputArcCommand.java

src/pipe/gui/undo/DeleteTimedPlaceCommand.java

src/pipe/gui/undo/DeleteTimedTransitionCommand.java

src/pipe/gui/undo/DeleteTransportArcCommand.java

src/pipe/gui/undo/JoinInverseArcEdit.java

src/pipe/gui/undo/PetriNetObjectNameEdit.java

src/pipe/gui/undo/PlaceCapacityEdit.java

src/pipe/gui/undo/PlaceColorInvariantEdit.java

src/pipe/gui/undo/PlaceMarkingEdit.java

src/pipe/gui/undo/RemoveConstantEdit.java

src/pipe/gui/undo/RemoveQueryCommand.java

src/pipe/gui/undo/RemoveTemplateCommand.java

src/pipe/gui/undo/RenameTemplateCommand.java

src/pipe/gui/undo/SetInverseArcEdit.java

src/pipe/gui/undo/SplitInverseArcEdit.java

src/pipe/gui/undo/TAPNElementCommand.java

src/pipe/gui/undo/TagArcEdit.java

src/pipe/gui/undo/TimeGuardEdit.java

src/pipe/gui/undo/TimedPlaceInvariantEdit.java

src/pipe/gui/undo/TimedPlaceTokenEdit.java

src/pipe/gui/undo/TokenValueEdit.java

src/pipe/gui/undo/TransitionRotationEdit.java

src/pipe/gui/undo/TransitionServerSemanticEdit.java

src/pipe/gui/undo/TransitionTimingEdit.java

src/pipe/gui/undo/TranslatePetriNetObjectEdit.java

src/pipe/gui/undo/TransportArcGroupEdit.java

src/pipe/gui/undo/UndoManager.java

src/pipe/gui/undo/UndoableEdit.java

src/pipe/gui/undo/UpdateConstantEdit.java

src/pipe/gui/widgets/AddTokenPanel.java

src/pipe/gui/widgets/AnimationSelectmodeDialog.java

src/pipe/gui/widgets/AnnotationPanel.form

src/pipe/gui/widgets/AnnotationPanel.java

src/pipe/gui/widgets/ConstantsDialogPanel.form

src/pipe/gui/widgets/ConstantsDialogPanel.java

src/pipe/gui/widgets/ConstantsPane.java

src/pipe/gui/widgets/EscapableDialog.java

src/pipe/gui/widgets/FileBrowser.java

src/pipe/gui/widgets/GuardDialogue.java

src/pipe/gui/widgets/JSplitPaneFix.java

src/pipe/gui/widgets/LeftConstantsPane.form

src/pipe/gui/widgets/NewTAPNPanel.java

src/pipe/gui/widgets/OutputValueEditorPanel.java

src/pipe/gui/widgets/ParameterPanel.form

src/pipe/gui/widgets/PlaceEditorPanel.form

src/pipe/gui/widgets/PlaceEditorPanel.java

src/pipe/gui/widgets/ProgressBar.form

src/pipe/gui/widgets/QueryDialog.java

src/pipe/gui/widgets/QueryPane.java

src/pipe/gui/widgets/RemoveTokenPanel.java

src/pipe/gui/widgets/RunningVerificationDialog.java

src/pipe/gui/widgets/TAPNTransitionEditor.java

src/pipe/gui/widgets/TokenTableModel.java

src/pipe/gui/widgets/TransitionEditor.form

src/resources/Example nets/alternating-bit-protocol-transport.xml

src/resources/Example nets/alternating-bit-protocol.xml

src/resources/Example nets/fischer-protocol.xml

src/resources/Example nets/intro-example.xml

src/resources/Example nets/producer-consumer.xml

src/resources/Example nets/webserver.xml

src/resources/Example nets/workflow.xml

tests/TimeIntervalTest.java

tests/TimeInvariantTests.java

Older »