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. gianola@inf.unibz.it | [b] Dipartimento di Matematica, Università degli studi di Milano, Italy. stefano.kasangian@unimi.it | [c] Dipartimento di Scienza ed Alta Tecnologia, Università degli Studi dell’Insubria, Italy. desiree.manicardi@gmail.com | [d] Dipartimento di Scienza ed Alta Tecnologia, Università degli Studi dell’Insubria, Italy. nicoletta.sabadini@uninsubria.it | [e] Faculty of Informatics, Università della Svizzera Italiana, Switzerland. filippo.schiavio@usi.ch | [f] Dipartimento di Scienza ed Alta Tecnologia, Università degli Studi dell’Insubria, Italy. simone.tini@uninsubria.it

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