Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revisionBoth sides next revision | ||
| alvis:startst [2013/12/14 23:26] marcin created | — (current) | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== Start statement ====== | ||
| - | The **start** statement is used to activate an active agent that is in the **init** mode. | ||
| - | |||
| - | An Alvis model contains a fixed number of agents. There is no possibility to create or destroy agents dynamically. | ||
| - | Active agents that are initially activated are distinguished in the communication diagram -- their names are underlined. If an active agent starts in the \emph{init} mode, it is inactive until another agent activates it with the \emph{start} statement. | ||
| - | |||
| - | The **start** statement is a single-step statement. | ||
| - | |||
| - | < | ||
| - | start agent_name; | ||
| - | </ | ||
| - | |||
| - | **Listing 1. ** Start statement syntax | ||