To open the graphical visualization of the wikipedia MarkedGraph example, double-click on wikipedia.aird resource, then open the tree view until "wikipedia MarkeGraph diagram" appears. Open it.

Figure 5.5. Open the Sirius graphical view of wikipedia example

The properties view (bottom right) allow to see the properties on an element. We can see that a place object has the "Runtime Token Count" properties (the added ED).