function benefitGreedyConIn extends Modelica.Icons.Function; input Integer nIn "number of input transitions"; input Real arcWeight[:] "arc weights of input transitions"; input Real t "current token number"; input Real maxTokens "maximum capacity"; input Boolean TAein[:] "active previous transitions which are already enabled by their input places"; input Real enablingBene[:] "enabling benefit of input transitions"; input Boolean disTransition[:] "type of input transitions"; output Boolean TEin[nIn] "enabled input transitions"; end benefitGreedyConIn;