label

The label statement allows you to use a string to describe an edge.

The label statement is used with edge statement and marks an edge with a string

 edge t1  { S2 -> S3 label  "switch is now off" }

< Back