function benefitGreedyDisOut extends Modelica.Icons.Function; input Integer nOut "number of output transitions"; input Integer arcWeight[:] "arc weights of output transitions"; input Integer t "current token number"; input Integer minTokens "minimum capacity"; input Boolean TAout[:] "active output transitions with passed delay"; input Real enablingBene[:] "enabling benefit of output transitions"; input Boolean disTransition[:] "discrete output transition"; output Boolean TEout[nOut] "enabled output transitions"; end benefitGreedyDisOut;