use of HLAPI classes in fr.lip6.move.pnml.ptnet.hlapi instead of fr.lip6.move.pnml.framework.hlapi, thus enabling adding markings to places
added initial marking for the start state