A collective interpretation semantics for reversing Petri nets
A Philippou, K Psara - Theoretical Computer Science, 2022 - Elsevier
Abstract Reversing Petri nets (RPNs) have recently been proposed as a net-based
approach to model causal and out-of-causal order reversibility. They are based on the …
approach to model causal and out-of-causal order reversibility. They are based on the …
[HTML][HTML] Modelling of DNA mismatch repair with a reversible process calculus
We have demonstrated in previous work that the Calculus of Covalent Bonding (CCB) can
be used to simulate higher-level biochemical processes. This is significant since CCB was …
be used to simulate higher-level biochemical processes. This is significant since CCB was …
Membrane computing as a modeling framework. Cellular systems case studies
G Păun, FJ Romero-Campero - … School on Formal Methods for the Design …, 2008 - Springer
Membrane computing is a branch of natural computing aiming to abstract computing models
from the structure and functioning of the living cell, and from the way cells cooperate in …
from the structure and functioning of the living cell, and from the way cells cooperate in …
The metabolic algorithm for P systems: Principles and applications
V Manca - Theoretical Computer Science, 2008 - Elsevier
Metabolic P systems, shortly MP systems, are a special class of P systems, introduced for
expressing biological metabolism. An MP system evolution is given by a metabolic …
expressing biological metabolism. An MP system evolution is given by a metabolic …
A synthetic cardiac episode generator for explainable, pathology based action potential using heuristic polynomial signatures
Synthetic generation of biophysical signals caters to diverse applications of test vectors
generation, exploration, data augmentation and machine learning training. Arrhythmiator …
generation, exploration, data augmentation and machine learning training. Arrhythmiator …
Describing the immune system using enhanced mobile membranes
We investigate the enhanced mobile membranes, a new class of mobile membrane system
in which new rules are introduced. The contextual evolution rules describe how an object …
in which new rules are introduced. The contextual evolution rules describe how an object …
P systems with reaction maps
Some recent types of membrane systems have shown their potential in the modelling of
specific processes governing biological cell behavior. These models represent the cell as a …
specific processes governing biological cell behavior. These models represent the cell as a …
[PDF][PDF] Fundamentals of metabolic P systems
V Manca - Handbook of membrane computing, 2009 - academia.edu
Metabolic P systems, shortly MP systems, are a special class of deterministic P systems,
introduced for expressing biological metabolism. Their dynamics are computed by a special …
introduced for expressing biological metabolism. Their dynamics are computed by a special …
Discrete solutions to differential equations by metabolic P systems
The relationships existing between metabolic P systems and ODE systems are investigated.
Formal results show that every MP system determines a structure, called an MP graph …
Formal results show that every MP system determines a structure, called an MP graph …
Psim: a simulator for biomolecular dynamics based on P systems
Metabolic P systems, shortly MP systems, are a special class of P systems, introduced for
expressing biological metabolism. Their dynamics is computed by metabolic algorithms …
expressing biological metabolism. Their dynamics is computed by metabolic algorithms …