A3 Vertaisarvioitu kirjan tai muun kokoomateoksen osa
Multiset Reaction Systems
Tekijät: Bottoni, Paolo; Mitrana, Victor; Petre, Ion
Toimittaja: Jiménez López, M. Dolores; Vaszil, György
Painos: 1
Kustantaja: Springer Nature Switzerland
Julkaisuvuosi: 2025
Journal: Lecture Notes in Computer Science
Kokoomateoksen nimi: Languages of Cooperation and Communication: Essays Dedicated to Erzsébet Csuhaj-Varjú to Celebrate Her Scientific Career
Tietokannassa oleva lehden nimi: Lecture Notes in Computer Science
Sarjan nimi: Lecture Notes in Computer Science
Numero sarjassa: 15840
Aloitussivu: 179
Lopetussivu: 193
ISBN: 978-3-031-97273-7
eISBN: 978-3-031-97274-4
ISSN: 0302-9743
eISSN: 1611-3349
DOI: https://doi.org/10.1007/978-3-031-97274-4_11
Verkko-osoite: https://doi.org/10.1007/978-3-031-97274-4_11
A multiset reaction system is an extension of the classical reaction system model with three key differences. First, all components of a reaction are now multisets and not sets. Second, it modifies the permanency principle: in this model, resources which are not consumed by application of reactions do not vanish from the system, even if they are not supported by any enabled reaction. Third, each resource is available in a finite, specific quantity, which may constrain the number of reactions that can access it concurrently. As a result, the model is inherently quantitative and nondeterministic, and it operates on multisets of resources rather than on simple sets. We investigate several modes of simultaneous and parallel enabling of reaction within this framework and demonstrate that all of them can be effectively simulated using sequential enabling. Additionally, we prove that the computational power of multiset reaction systems with sequential evolution is equivalent to that of multiset Turing machines.
Julkaisussa olevat rahoitustiedot:
This study was supported by the Ministry of Research, Innovation, and Digitalization through the Core Program of the National Research, Development, and Innovation Plan 2022-2027, project no. PN 23-02-0101-Contract No. 7N/2023. It was also supported by the Ministry of Research, Innovation, and Digitalization through the Romanian National Recovery and Resilience Plan (PNRR), Pillar III, Component C9/Investment no. 8 (I8) - contract CF 68 and contract CF 53.
