A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä
Model checking for distributed reaction systems with temporal-epistemic properties
Tekijät: Meski, Artur; Koutny, Maciej; Mikulski, Łukasz; Petre, Ion; Penczek, Wojciech; Piatkowski, Marcin
Kustantaja: Springer Nature
Julkaisuvuosi: 2025
Lehti: Natural Computing
ISSN: 1567-7818
eISSN: 1572-9796
DOI: https://doi.org/10.1007/s11047-025-10044-7
Julkaisun avoimuus kirjaamishetkellä: Avoimesti saatavilla
Julkaisukanavan avoimuus : Osittain avoin julkaisukanava
Verkko-osoite: https://doi.org/10.1007/s11047-025-10044-7
Rinnakkaistallenteen osoite: https://research.utu.fi/converis/portal/detail/Publication/505447385
Reaction systems are a model of computation inspired by the biochemistry exhibited by living cells. This paper introduces the notion of agency as an extension to the reaction systems formalism, leading to distributed reaction systems. Adding agents in the reaction systems setting, allows for the natural modelling and representation of multi-agent and distributed systems. To support the specification of temporal-epistemic properties of distributed reaction systems, we introduce the logic rsctlk and present experimental results of its associated model checking procedure run on a biological benchmark of within-cell signal transduction networks. The experimental results are encouraging despite the complexity of the rsctlk model checking problem that is shown to be pspace -complete.
Ladattava julkaisu This is an electronic reprint of the original article. |  |
