Initial marked places not updated on simulation

[Malo Dautry]

[cpn GUI branch]

During the simulation, the places with initial tokens don't update. The number of tokens **displayed** in the place never change when firing transitions, although the real number is updated.

Create a not timed Petri net with two places and a transition between them. Add a token on the first place. When simulating, the transition can fire, and a deadlock happens then obviously. But the token in the first place does not disappear.

When looking at the .tapn file, in the hlinitialMarking section, one can replace the user operator by dotoperator, and reload the tapaal project: it then works fine.

<hlinitialMarking>
    <text>(1'dot)</text>
    <structure>
      <add>
     <subterm>
       <numberof>
      <subterm>
        <numberconstant value="1">
       <positive/>
        </numberconstant>
      </subterm>
      <subterm>
-----> <useroperator declaration="dot"/> /// <dotoperator/>
      </subterm>
       </numberof>
     </subterm>
      </add>
    </structure>
  </hlinitialMarking>