2015
DOI: 10.1016/j.tcs.2015.07.035
|View full text |Cite
|
Sign up to set email alerts
|

Minimal probabilistic P systems for modelling ecological systems

Abstract: In this paper we propose MPP systems as modelling notation for ecological systems, and we show how they can be used together with simulation and statistical model checking tools to study properties of such kind of systems. As a case study we consider the ecological problem of stability of European water frog populations. The paper shows that MPP systems allow easy and concise modelling of real ecological problems. Moreover, MPP systems models can be easily simulated and translated into the PRISM input language… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
13
0

Year Published

2016
2016
2024
2024

Publication Types

Select...
5
1

Relationship

0
6

Authors

Journals

citations
Cited by 13 publications
(13 citation statements)
references
References 37 publications
0
13
0
Order By: Relevance
“…Let us introduce a function 0 ( , ) ( ), . 24Differentiating the equation 24with respect to variable z and taking into consideration (6) and 8 In these models we demonstrated how to find a solution of equation systems with the usage of generating functions, and in this case we found solutions for moments with regard not to their definition, but a partial differential equation for a generating function. It helped us to find solutions for moments easier.…”
Section: With Initial Conditionsmentioning
confidence: 85%
See 3 more Smart Citations
“…Let us introduce a function 0 ( , ) ( ), . 24Differentiating the equation 24with respect to variable z and taking into consideration (6) and 8 In these models we demonstrated how to find a solution of equation systems with the usage of generating functions, and in this case we found solutions for moments with regard not to their definition, but a partial differential equation for a generating function. It helped us to find solutions for moments easier.…”
Section: With Initial Conditionsmentioning
confidence: 85%
“…Thus, the solution for (6) and (8) It is evident that at every fixed time the formulas (19) and (20) are probability distributions, and also obtained moments with zero initial conditions and in steady-state mode refer to enumerative characters of Bernoulli distribution [23]. That is why the equation system (9) can be considered as formalization of the Bernoulli process with two parameters, digital number of states and continuous time [29].…”
Section: F T S T Z R T T Z T Z Z S T Z R T T Z T R T N Imentioning
confidence: 99%
See 2 more Smart Citations
“…In the case of the present model, membranes represent regions in a bidimensional space, and the adjacency between membranes in this graph encodes naturally the adjacency between spatial regions. Likewise, objects are a natural manner to encode discrete entities such as animals or groups of animals [3,18,19,34].…”
Section: Methodsmentioning
confidence: 99%