The syntax

Semantics

While defining the model with the @model(name), we can explicitly define semantic properties of the involved rules. To do so, we just need to use the @number{rules} command, which represents that in a given computational step that rule can be executed, at most, number times.

@model(example_model) = evolution, @1{communication};