function decreasingFactorOut parameter input Integer nOut "number of output transitions"; input Real t "marking"; input Real minMarks "minimum capacity"; input Real speedIn "input speed"; input Real maxSpeedOut[:] "maximum speeds of output transitions"; input Real prelimSpeedOut[:] "preliminary speeds of output transitions"; input Real arcWeightOut[:] "arc weights of output transitions"; input Boolean firingIn[:] "firability of input transitions"; input Boolean firingOut[:] "firability of output transitions"; output Real decFactorOut[nOut] "decreasing factors for output transitions"; end decreasingFactorOut;