2.2. Abstract Syntax

Marked Graph is a kind of Petri net in which every place has exactly one incoming arc and exactly one outgoing arc. As a consequence, it a concurrent language (several transitions may be fired) and has no conflict.

The Domain Model, also called Abstract Syntax or Metamodel, defines :

MarkedGraph Domain Model (Metamodel)

Figure 2.2. Abstract Syntax (Metamodel) of MarkedGraph