ISO/IEC 15909-1:2004/Amd 1:2010
Systems and software engineering — High-level Petri nets — Part 1: Concepts, definitions and graphical notation — Amendment 1: Symmetric Nets
Ingénierie des systèmes et du logiciel — Réseaux de Petri de haut niveau — Partie 1: Concepts, définitions et notation graphique — Amendement 1: Réseaux symétriques