Changes between Initial Version and Version 1 of Ticket #2528, comment 1


Ignore:
Timestamp:
2014-01-08T10:51:50Z (11 years ago)
Author:
Lennart Ochel

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #2528, comment 1

    initial v1  
    66  Real tIn[:]={1-time} "marking of input places";
    77  Real minTokens[:]= {0.5} "minimum capacities of input places";
    8   Boolean fed[:]= {false} "input places are fed?";
    98  Boolean active "activation of transition";
    109algorithm
    1110  active:=true;
    1211  for i in 1:nIn loop
    13     if not (tIn[i] > minTokens[i] or tIn[i] <= minTokens[i] and fed[i]) then
     12    if not (tIn[i] > minTokens[i]) then
    1413      active:=false;
    1514    else
    … …  
    2524  Real tIn[:]={1-time} "marking of input places";
    2625  Real minTokens[:]= {0.5} "minimum capacities of input places";
    27   Boolean fed[:]= {false} "input places are fed?";
    2826  Boolean active "activation of transition";
    2927algorithm
    3028  active:=true;
    3129  for i in 1:nIn loop
    32     if not (tIn[1] > minTokens[1] or tIn[1] <= minTokens[1] and fed[1]) then
     30    if not (tIn[1] > minTokens[1]) then
    3331      active:=false;
    3432    else