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