pnml: add extra check for string 2 int conversion.
pnml: add extra check for string 2 int conversion.

Meijuh/ltsmin,Meijuh/ltsmin,utwente-fmt/ltsmin,alaarman/ltsmin,alaarman/ltsmin,alaarman/ltsmin,trolando/ltsmin,utwente-fmt/ltsmin,utwente-fmt/ltsmin,Meijuh/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin,alaarman/ltsmin,alaarman/ltsmin,utwente-fmt/ltsmin,trolando/ltsmin,trolando/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin,alaarman/ltsmin,Meijuh/ltsmin,utwente-fmt/ltsmin,trolando/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin,utwente-fmt/ltsmin,vbloemen/ltsmin,Meijuh/ltsmin,Meijuh/ltsmin