Formal Methods in Software and Systems Modeling

Abstract

In the beginning, one of the main fields of application of graph transformationwas biology, and more specifically morphology. Later, however, itwas like if the biological applications had been left aside by thegraph transformation community, just to be moved back into the mainstreamthese very last years with a new interest in molecular biology. Inthis paper, we review several fields of application of graph grammarsin molecular biology, including: the modelling of higher-dimensionalstructures of biomolecules, the description of biochemical reactions,and the study of biochemical pathways.