La communauté travaillant sur les réseaux de Petri a constaté relativement tôt le manque d’homogénéité dans les définitions formelles et les outils. En effet, il existe une grande variété de types de réseaux de Petri, avec des différences parfois significatives (par exemple les réseaux temporels) ou de simples extensions (les réseaux avec arcs inhibiteurs). De plus, chaque outil utilise sa propre version de réseau de Petri et implémente des techniques d’analyse qui lui sont propres. La vérification de systèmes modélisés avec des réseaux de Petri nécessite l’utilisation de diverses techniques de vérification, donc des outils associés différents. Pour que cette vérification soit réalisable dans la pratique, la conception d’un format d’échange de réseaux de Petri entre ces outils est un enjeu majeur. La norme ISO/IEC-1590 présentée dans cet article a pour objectif de répondre à cette problématique. Elle est structurée en trois parties. La première partie concerne les définitions du formalisme, donnant ainsi une sémantique formelle à plusieurs types usuels de réseaux de Petri : les réseaux places/transitions et les réseaux de haut niveau (colorés). Cette partie a été publiée comme norme internationale en décembre 2004. Un amendement définissant les réseaux symétriques devrait être bientôt publié. La seconde partie, parue en novembre 2009, se concentre sur la syntaxe et l’élaboration d’un langage d’échange de réseaux de Petri. Ce langage, PNML (Petri Net Markup Language) s’appuie sur les concepts introduits dans la première partie de la norme. Sa conception repose sur des métamodèles UML, puis une transformation en XML.Un des enjeux majeurs de la seconde partie a été la flexibilité et l’extensibilité du langage PNML, en vue des travaux sur la troisième partie de la norme. Cette partie, dont le développement vient de démarrer, porte sur les extensions de réseaux de Petri. Ces dernières concernent la structuration des modèles (modularité et hiérarchie) et les mécanismes nécessaires à l’intégration de nouveaux types de réseaux de Petri et à l’ajout de nouveaux éléments (tels que les arcs inhibiteurs).