How to Transfer Concepts of Abstract Data Types to Petri Nets? - Hartmut Ehrig; A. Merten; Julia Padberg (Bull. EATCS, 1997)