Make a quiz

A transition to be enabled has to have all the immediate preceding steps active

A step can be connected to several transitions immediate succeeding by using a:

A macro-step is a representation of

A pit step has only a transition immediate preceding.

The OR divergence is represented by an horizontal line with one immediate preceding connection and

The execution time of a continuous action

In Gracet when an action D is defined as D:=1, it means that that action stops being executed when the associated step is deactivated.

The timed variables can be associated to…

A predicate is a logical expression with one or more variables.

A pit transition can have one or more steps immediate preceding.