Extending S-invariants for coloured and selfmodifying nets - Valk, Rüdiger (Fachbereich Informatik der Univ., 1993)