lp:~libowen96/workcraft/trunk-son-alter

SONPlugin/src/org/workcraft/plugins/son/SON.java (+20/-1)
SONPlugin/src/org/workcraft/plugins/son/SONModule.java (+1/-1)
SONPlugin/src/org/workcraft/plugins/son/SONSettings.java (+10/-0)
SONPlugin/src/org/workcraft/plugins/son/algorithm/ASONAlg.java (+117/-0)
SONPlugin/src/org/workcraft/plugins/son/algorithm/BSONAlg.java (+213/-51)
SONPlugin/src/org/workcraft/plugins/son/algorithm/ErrorTracingAlg.java (+5/-5)
SONPlugin/src/org/workcraft/plugins/son/algorithm/EstimationAlg.java (+66/-21)
SONPlugin/src/org/workcraft/plugins/son/algorithm/PathAlgorithm.java (+32/-51)
SONPlugin/src/org/workcraft/plugins/son/algorithm/RelationAlgorithm.java (+9/-9)
SONPlugin/src/org/workcraft/plugins/son/algorithm/SimulationAlg.java (+36/-22)
SONPlugin/src/org/workcraft/plugins/son/elements/VisualBlock.java (+1/-2)
SONPlugin/src/org/workcraft/plugins/son/elements/VisualEvent.java (+2/-2)
SONPlugin/src/org/workcraft/plugins/son/elements/VisualPlaceNode.java (+2/-3)
SONPlugin/src/org/workcraft/plugins/son/exception/UnboundedException.java (+10/-2)
SONPlugin/src/org/workcraft/plugins/son/gui/ParallelSimDialog.java (+3/-3)
SONPlugin/src/org/workcraft/plugins/son/gui/TimeConsistencyDialog.java (+1/-1)
SONPlugin/src/org/workcraft/plugins/son/gui/TimeEstimatorDialog.java (+9/-4)
SONPlugin/src/org/workcraft/plugins/son/tasks/AbstractStructuralVerification.java (+0/-44)
SONPlugin/src/org/workcraft/plugins/son/tasks/BSONStructureTask.java (+77/-100)
SONPlugin/src/org/workcraft/plugins/son/tasks/CSONStructureTask.java (+10/-0)
SONPlugin/src/org/workcraft/plugins/son/tasks/ONStructureTask.java (+43/-33)
SONPlugin/src/org/workcraft/plugins/son/tasks/ReachabilityTask.java (+17/-0)
SONPlugin/src/org/workcraft/plugins/son/tasks/SONMainTask.java (+3/-3)
SONPlugin/src/org/workcraft/plugins/son/tasks/StructuralVerification.java (+1/-7)
SONPlugin/src/org/workcraft/plugins/son/tasks/TSONStructureTask.java (+13/-1)
SONPlugin/src/org/workcraft/plugins/son/tools/ColorResetTool.java (+1/-1)
SONPlugin/src/org/workcraft/plugins/son/tools/ErrTracingDisable.java (+3/-8)
SONPlugin/src/org/workcraft/plugins/son/tools/SONSimulationTool.java (+19/-6)
SONPlugin/src/org/workcraft/plugins/son/tools/ScenarioGeneratorTool.java (+3/-3)
SONPlugin/src/org/workcraft/plugins/son/tools/StructurePropertyChecker.java (+2/-2)
SONPlugin/src/org/workcraft/plugins/son/tools/TestTool.java (+31/-13)
SONPlugin/src/org/workcraft/plugins/son/tools/TimeConsistencyChecker.java (+2/-2)
SONPlugin/src/org/workcraft/plugins/son/tools/TimeValueSetterTool.java (+6/-3)
SONPlugin/src/org/workcraft/plugins/son/util/Marking.java (+27/-0)
SONPlugin/src/org/workcraft/plugins/son/util/MarkingRef.java (+2/-0)
SONPlugin/src/org/workcraft/plugins/son/util/NodesRef.java (+37/-0)
SONPlugin/src/org/workcraft/plugins/son/util/ScenarioRef.java (+1/-0)
WorkcraftCore/src/images/icons/svg/son-error-tracing.svg (+559/-0)