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 :
- A marked graph as a set of places and transitions.
- Each Place has exactly one input transition and one output transition and a token count.
- A transition has several input places and several output places.
