- Handbook of Formal Languages: Volume 3. Beyond Words
- DNA Computing: New Computing Paradigms (Texts in Theoretical Computer Science. An EATCS Series)
- Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986: Part 1: Petri Nets: Central Models and Their Properties
- Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986: Part 2: Petri Nets: Applications and Relationships to Other Models of Concurrency
- Membrane Computing: International Workshop, Wmc 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers