Monitoring Changes in Dynamic Multiset Systems

Issue title: Dedicated to Jesús Pérez-Jiménez, on the occasion of his 65th birthday

Article type: Research Article

Authors: Ciobanu, Gabriel | Sburlan, Dragoş

Affiliations: Institute of Computer Science, Romanian Academy, Iaşi, Romania. [email protected] | Faculty of Mathematics, Ovidius University, Constanţa, Romania. [email protected]

Note: [] Address for correspondence: Institute of Computer Science, Romanian Academy, Iaşi, Romania

Abstract: Models of biological systems expressed as multiset rewriting systems can be very complex, impeding the analysis of their behaviour. In this paper we propose a practical solution to this problem, in the form of change monitors, i.e. computational instruments which synchronise with the model and record its behaviour. Change monitors play the role of passive observers. Since change monitors can automatically identify specific behaviours generated by the model under investigation, it is sufficient to focus only on the output produced by the monitors (instead of examining the dynamics of the initial model).

DOI: 10.3233/FI-2014-1091

Journal: Fundamenta Informaticae, vol. 134, no. 1-2, pp. 67-82, 2014