Membrane Computing: An Introduction
Membrane Computing: An Introduction
WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
Logic of Programs and Their Applications, Proceedings
A Meta-Notation for Protocol Analysis
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
Modelling biological processes by using a probabilistic P system software
Natural Computing: an international journal
On P Systems with Bounded Parallelism
SYNASC '05 Proceedings of the Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Gabor wavelets and General Discriminant Analysis for face identification and verification
Image and Vision Computing
On the Branching Complexity of P Systems
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
Toward Verified Biological Models
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions
FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
On the Computational Power of Biochemistry
AB '08 Proceedings of the 3rd international conference on Algebraic Biology
Executing multicellular differentiation
Bioinformatics
Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
RP '09 Proceedings of the 3rd International Workshop on Reachability Problems
Efficient, correct simulation of biological processes in the stochastic pi-calculus
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
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
Towards probabilistic model checking on p systems using PRISM
WMC'06 Proceedings of the 7th international conference on Membrane Computing
| Hi-index | 0.00 |
Maximally parallel semantics have been proposed for many formalisms as an alternative to the standard interleaving semantics for some modelling scenarios. Nevertheless, in the probabilistic setting an affirmed interpretation of maximal parallelism still lacks. We define a synchronous maximally parallel probabilistic semantics for multiset rewriting tailored to describe, simulate and verify biological systems evolving with maximally parallel steps. Each step of the proposed semantics is parallel as each reaction can happen multiple times, and it is maximal as it leaves no enabled reaction i.e. as many reactions as possible are executed. We define a maximally parallel probabilistic semantics in terms of Discrete Time Markov Chain for systems described by stochastic multiset rewriting. We propose a simple, maximally parallel, model of Caenorhabditis elegans vulval development on which we show probabilistic simulations results.