Class PlaceCompletionUtils


  • public class PlaceCompletionUtils
    extends java.lang.Object
    • Constructor Detail

      • PlaceCompletionUtils

        public PlaceCompletionUtils()
    • Method Detail

      • completePlaces

        public static OCLPMResult completePlaces​(OCLPMDiscoveryParameters parameters,
                                                 OCLPMResult oclpmResult,
                                                 TaggedPlaceSet placeSet)
        For each place adds potentially adds isomorphic places of different object types, depending on the PlaceCompletion strategy chosen. (Object flow = Tokens of a type entering a transition should also exit)
        Parameters:
        parameters -
        oclpmResult -
        Returns:
      • swapToFewestVariableArcs

        public static OCLPMResult swapToFewestVariableArcs​(OCLPMResult oclpmResult)
        swaps existing places with the places that have the fewest variable arcs
        Parameters:
        oclpmResult -
        placeSet -
        Returns:
      • swapToLessThan2VariableArcs

        public static OCLPMResult swapToLessThan2VariableArcs​(OCLPMResult oclpmResult)
        swaps existing places with the places that have only one or fewer variable arcs
        Parameters:
        oclpmResult -
        placeSet -
        Returns:
      • betterFlow

        public static OCLPMResult betterFlow​(OCLPMResult oclpmResult)
        add places of other types to model if both: equal place already is in there the other types are already present in the net
        Parameters:
        oclpmResult -
        placeSet -
        Returns:
      • betterFlow2

        public static OCLPMResult betterFlow2​(OCLPMResult oclpmResult)
        add place of other types to model if: transition isn't source or sink transition has that type only as input or output Only adds places that are isomorphic to those already in the model Only checks if flow is completely broken (arcs go in nothing goes out), not if flow inbalanced (e.g., 2 in 1 out)
        Parameters:
        oclpmResult -
        placeSet -
        Returns:
      • completeAll

        public static OCLPMResult completeAll​(OCLPMResult oclpmResult)
        add places of other types to model if: equal place already is in there
        Parameters:
        oclpmResult -
        placeSet -
        Returns: