Book Chapter10.1007/3-540-36490-0_26
Probabilistic P Systems
21
TL;DR: There are introduced and discussed stochastic and randomized P systems, aimed to describe distortions which may appear in evolution processes of membrane systems considered in the area of membrane computing.
read more
Abstract: There are introduced and discussed stochastic and randomized P systems. Stochastic P systems are aimed to describe distortions which may appear in evolution processes of membrane systems considered in the area of membrane computing. Randomized P systems serve for implementation of randomized algorithms. There is presented a family of randomized P systems which serve for implementation of Miller-Rabin randomized algorithm for primality of integers. P systems of this family verify primality of integers in a polynomial time, with a low error probability, and with a subexponential number of processors modelled as membranes with evolving contents.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Stochastic P systems and the simulation of biochemical processes with dynamic compartments
TL;DR: A sequential rewriting strategy for P systems based on Gillespie's stochastic simulation algorithm is introduced, and it is shown that the resulting formalism of Stochastic P systems makes it possible to simulate biochemical processes in dynamically changing, nested compartments.
55
•Journal Article
P systems and Petri nets
TL;DR: In this paper, a new formalization based on place/transition nets is presented, which can adopt one transition to implement the structural operational semantics of one evolving rule in P systems and utilize the incidence matrix to analyze the computation of one macro-step.
38
P Systems and Petri Nets
Zhengwei Qi,Jinyuan You,Hongyan Mao +2 more
- 17 Jul 2003
TL;DR: A new formalization based on place/transition nets is presented, which can adopt one transition to implement the structural operational semantics of one evolving rule in P systems and utilize incidence matrix to analyze the computation of one macro-step.
32
In search of) probabilistic P systems
TL;DR: This paper briefly presents both ideas already circulated in the literature and new proposals, trying to have a systematic overview of possibilities of associating probabilities with the ingredients of a membrane system.
28
Maximally Parallel Probabilistic Semantics for Multiset Rewriting
TL;DR: A synchronous maximally parallel probabilistic semantics for multiset rewriting tailored to describe, simulate and verify biological systems evolving with maximally Parallel steps for systems described by stochastic mult iset rewriting.
22
References
•Book
The Development of the Number Field Sieve
Arjen K. Lenstra,Hendrik W. Lenstra +1 more
- 01 Nov 1993
TL;DR: The number field sieve is an algorithm to factor integers of the form $r^e-s$ for small positive $r$ and $s$ and the authors present a report on work in progress on this algorithm.
630
Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets
Peter J. E. Goss,Jean Peccoud +1 more
TL;DR: The approach is illustrated with examples of models of genetic and biochemical phenomena where the ULTRASAN package is used to present results from numerical analysis and the outcome of simulations.
484
•Journal Article
P systems with active membranes: attacking NP-complete problems
TL;DR: It is proved that a class of P systems whose membranes are the main active components, in the sense that they directly mediate the evolution and the communication of objects, is not only computationally universal, but also able to solve NP complete problems in polynomial time.
386
Stochastic well-formed colored nets and symmetric modeling applications
TL;DR: It turns out that SWN's allow the representation of any color function in a structured form, so that any unconstrained high-level net can be transformed into a well-formed net.
368
•Book
Advances in Petri Nets, 1989
Grzegorz Rozenberg
- 01 Jan 1990
TL;DR: This paper presents a comparative study of different techniques for semi-flows computation in place/transition nets and designs methods based on nets.
38