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