Modélisation, analyse, réduction et décomposition des systèmes par les réseaux de Petri — Kwang Hyung Lee