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