Modelling molecular networks: relationships between different formalisms and levels of details

Sylvain Soliman et al (2010).

Research Report.

[regulation networks ; expressivity ; abstraction ; formalisms ; modelling]

This document is the deliverable 1.3 of French ANR CALAMAR. It presents a study of different formalisms used for modelling and analyzing large molecular regulation networks, their formal links, in terms of mutual encodings and of abstractions, and the corresponding levels of detail captured.