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