KIELER Project


Get me back to the home page!

Page tree

Versions Compared

Old Version 36

changes.mady.by.user Unknown User (wah)

Saved on

compared with

New Version 37

changes.mady.by.user Unknown User (wah)

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

A Transition is defined by a Reaction, consisting of a Trigger and an Effect. 

Image Modified

Transition Trigger:

The A trigger:

  • can be a Signal, 
  • a boolean Variable

...

  • an Expression

...

  • can be immediate (optional)
  • delay (optional)
Info
iconfalse
titleReactionTrigger returns sgraph::Trigger:

{ReactionTrigger} (isImmediate?='#')? (delay=INT)? ((triggers+=RegularEventSpec) | ('[' guardExpression=Expression ']'));

Examples:

  • S
  • [S1 && S2]
  • #_S
  • #_3 S

Transition Effect:

Info
iconfalse
titleReactionEffect returns sgraph::Effect:

{ReactionEffect} actions+=Expression (=> ',' actions+=Expression)*;

...

Examples:

  • / S
  • / I = false
  • / I1 = false, I2 = I3 + 10