Information Processing Letters
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Events and modules in reaction systems
Theoretical Computer Science
Introducing time in reaction systems
Theoretical Computer Science
Bio-PEPA: A framework for the modelling and analysis of biological systems
Theoretical Computer Science
Petri nets for systems and synthetic biology
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Petri nets for modelling metabolic pathways: a survey
Natural Computing: an international journal
Reaction systems with duration
Computation, cooperation, and life
How might petri nets enhance your systems biology toolkit
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
On probabilistic and quantum reaction systems
Theoretical Computer Science
On state sequences defined by reaction systems
Logic and Program Semantics
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
A Calculus of Looping Sequences for Modelling Microbiological Systems
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Hi-index | 0.00 |
Reaction systems are a formal model for processes inspired by the functioning of the living cell. These processes are determined by the iteration of the state transition functions of reaction systems, also called rs functions. In this paper we provide mathematical characterisations of rs functions implemented/defined by "minimal reaction systems", ı.e., reaction systems with reactions using the minimal number of reactants, or the minimal number of inhibitors, or the minimal number of resources (ı.e., reactants and inhibitors together).