PL: 1 1 1 1 1 2 2 2 2 2 3 3 3 3 3 4 4 4 4 4
MA: 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0
The place numbers are in the headline (for a coloured net, each number appears as often as that place has colours); the corresponding number of tokens are located below. The example shows a marking of net 2.2, in which there is exactly one token, namely of colour 3, on place 2.
In some situations, you also find the abbreviations P.nr and toks for place numbers and token amounts.
© 1996-99 Prof. Peter H. Starke (starke@informatik.hu-berlin.de) und Stephan Roch (roch@...)
INA Manual Version 2.2 (last changed 1999-04-19)