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