Graph grammars and Petri net transformations. (English) Zbl 1088.68079
Desel, Jörg (ed.) et al., Lectures on concurrency and Petri nets. Advances in Petri nets. Berlin: Springer (ISBN 3-540-22261-8/pbk). Lecture Notes in Computer Science 3098, 496-536 (2004).