Vérification formelle des spécifications de systèmes complexes par réseaux de Petri : application aux systèmes de transport intelligents