ISO/IEC PRF 15909-3

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