1. Baldan, P.: Modelling concurrent computations: from contextual Petri nets to graph grammars. Ph.D. thesis, Department of Computer Science, University of Pisa (2000)
2. Basso-Blandin, A., Fontana, W., Harmer, R.: A knowledge representation meta-model for rule-based modelling of signalling networks. EPTCS 204, 47–59 (2016)
3. Lecture Notes in Computer Science;A Corradini,2006
4. Danos, V., Feret, J., Fontana, W., Harmer, R., Hayman, J., Krivine, J., Thompson-Walsh, C., Winskel, G.: Graphs, rewriting and pathway reconstruction for rule-based models. In: Foundations of Software Technology and Theoretical Computer Science (2012)
5. Lecture Notes in Computer Science;V Danos,2007