Normalization of place/transition-systems preserves net behaviour E. Pelz — 1992 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications