next up previous contents index
Next: 4.2.2 State representation under Up: 4.2 State representations Previous: 4.2 State representations


4.2.1 State representation without time allocation

If you work without time allocation (see chapter 2.5.2 on page [*]), information on the state only consists of the current marking, which is presented in the following vector form:

 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.


next up previous contents index
Next: 4.2.2 State representation under Up: 4.2 State representations Previous: 4.2 State representations

© 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)