ISO/IEC 15909-3:2021
Systems and software engineering — High-level Petri nets — Part 3: Extensions and structuring mechanisms
Ingénierie du logiciel et des systèmes — Réseaux de Petri de haut niveau — Partie 3: Extensions et mécanismes de structuration
