Compositional Modeling of Biological Systems in CospanSpan(Graph)

Alessandro Gianola, Stefano Kasangian, Desiree Manicardi, Nicoletta Sabadini, Simone Tini
2020 Italian Conference on Theoretical Computer Science  
In this paper we investigate the expressiveness of the compositional formalism of CospanSpan(Graph) in order to model biological systems: first, we provide a compositional and timed description of the combined, complex system of the Heart and a Dual Chamber Pacemaker. Then, we consider as a case study the well-known gene regulation system in the Lac Operon in Escherichia coli.
dblp:conf/ictcs/GianolaKMST20 fatcat:n3dktrrg55hgpocjxzdbj6gsai