Comment 8 for bug 1217070

The max token problem should return the total maximum number of tokens in any markings that was
ever discovered during the search. In order works a counter should be set to the number of tokens in the initial marking
and everytime a new marking is discovered, the counter should be updated accordingly:
counter = max(counter, number_of_tokens_in_the_discovered_marking)
I hope this makes sense.

Counting the initial state should amount to initialization of the initial values to 1 instead of 0.

Thanks for looking into this.