CospanSpan(Graph): a Compositional Description of the Heart System

Issue title: Interdisciplinary Nature of Information Processing Special Issue Dedicated to Giancarlo Mauri on the Occasion of His 70th Birthday

Guest editors: Alberto Dennunzio, Gheorghe Păun, Grzegorz Rozenberg and Claudio Zandron

Article type: Research Article

Authors: Gianola, Alessandro^{a; *} | Kasangian, Stefano^b | Manicardi, Desiree^c | Sabadini, Nicoletta^d | Schiavio, Filippo^e | Tini, Simone^f

Affiliations: [a] Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. [email protected] | [b] Dipartimento di Matematica, Università degli studi di Milano, Italy. [email protected] | [c] Dipartimento di Scienza ed Alta Tecnologia, Università degli Studi dell’Insubria, Italy. [email protected] | [d] Dipartimento di Scienza ed Alta Tecnologia, Università degli Studi dell’Insubria, Italy. [email protected] | [e] Faculty of Informatics, Università della Svizzera Italiana, Switzerland. [email protected] | [f] Dipartimento di Scienza ed Alta Tecnologia, Università degli Studi dell’Insubria, Italy. [email protected]

Correspondence: [*] Address for correspondence: Faculty of Computer Science, Free University of Bozen-Bolzano, Italy

Abstract: In this paper, we recall the basic features of the CospanSpan(Graph) algebra for the compositional description of reconfigurable hierarchical networks. In particular, we focus on compositionality and on the possibility of describing the interactions among physical/biological systems, using a parallel with communication operation not considered in the usual Kleene’s algebra. As a novel application, we give a complete compositional description in Span(Graph) of a simplified version of the heart system.

Keywords: Automata, Categories, Composition, Biological Systems

DOI: 10.3233/FI-2020-1880

Journal: Fundamenta Informaticae, vol. 171, no. 1-4, pp. 221-237, 2020