Class MandatoryAndExclusive


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

      • MandatoryAndExclusive

        public MandatoryAndExclusive()
    • Method Detail

      • preferredTransitionToFix

        public static int preferredTransitionToFix​(java.util.Set<java.lang.Integer> group,
                                                   org.processmining.stochasticlabelledpetrinets.StochasticLabelledPetriNet model)