Boolean value of an assertion
In GRAFCET, you can use Boolean values to calculate an assertion, for example: a counter “C” should be larger than 6 and step “X1” should be activated. “C” is larger than “6” can be calculated as with a variable. To do this, the assertion has to be set in square brackets. So in this example:
[C > 6 ] * X1
If a Boolean assertion is positioned on its own in a condition, then you can omit the square brackets in FluidSIM, for example C > 6 instead of [C > 6]. (See example: Grafcet/Grafcet13.ct)
Related Topics