Transfer of local confluence and termination between Petri net and graph transformation systems based on M-functors extended version - Maximova, Maria; Ehrig, Hartmut; Ermel, Claudia (Professoren der Fakultät IV, Elektrotechnik und Informatik, 2012)
Keywords: Konfluenz -- Informatik; Funktor; Graphersetzungssystem; Terminierung -- Informatik