Use of petrinets for verification, simulation