title: Systems and software engineering — High-level Petri nets — Part 2: Transfer format — Technical Corrigendum 1
title: Ingénierie des systèmes et du logiciel — Réseaux de Petri de haut niveau — Partie 2: Format de transfert — Rectificatif technique 1