A Framework for the Objective Assessment of Registration Accuracy
Figure 1
The classical PN consists of places (-), transitions (), and tokens (black dots). The figures visualize two different markings of the same PN, that is, two different distributions of the tokens.