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