1. Regev, A., et al.: Representation and simulation of biochemical processes using the pi-calculus process algebra. In: Pacific Symposium on Biocomputing, pp. 459–470 (2001)
2. Lecture Notes in Bioinformatics;M. Calder,2006
3. Reddy, V.N., et al.: Petri net representation in metabolic pathways. In: Proc. Int. Conf. Intell. Syst. Mol. Biol., pp. 328–336 (1993)
4. Paun, G., Rozenberg, G.: A guide to membrane computing. Theor. Comput. Sci. 287(1), 73–100 (2002)
5. Lecture Notes in Computer Science;V. Danos,2007