Minimal probabilistic P systems for modelling ecological systems
type: Item
instance of: scholarly article
title: Minimal probabilistic P systems for modelling ecological systems
zbMATH Open document ID: 1333.92068
author: Roberto Barbuti
author: Pasquale Bove
author: Paolo Milazzo
author: Giovanni Pardini
published in: Theoretical Computer Science
publication date: 2015-12-10T00:00:00Z
Mathematics Subject Classification ID: 92D40
Mathematics Subject Classification ID: 68Q05
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68U20
zbMATH DE Number: 6519474
zbMATH Keywords: P systems
zbMATH Keywords: statistical model checking
zbMATH Keywords: stochastic simulation
zbMATH Keywords: ecosystems modelling
describes a project that uses: PRISM
MaRDI profile type: Publication
full work available at URL: j.tcs.2015.07.035
OpenAlex ID: W934537857
cites work: Membrane Computing
cites work: A rewriting logic framework for operational semantics of membrane systems
cites work: Q3117552
cites work: Q925313
cites work: Q5472932
cites work: Spatial calculus of looping sequences
cites work: Simulation of spatial P system models
cites work: Spatial P systems
cites work: Compositional semantics and behavioral equivalences for P systems
cites work: Q3601853
cites work: Compositional semantics of spiking neural P systems
cites work: AN OVERVIEW ON OPERATIONAL SEMANTICS IN MEMBRANE COMPUTING
cites work: Membrane systems with promoters/inhibitors
cites work: Using well-structured transition systems to decide divergence for catalytic P systems
cites work: A computational modeling for real ecosystems based on P systems
cites work: Probabilistic transitions for P systems
cites work: Automatic verification of finite-state concurrent systems using temporal logic specifications
cites work: A logic for reasoning about time and reliability
cites work: PROBABILISTIC REWRITING P SYSTEMS
cites work: Membrane computing. An introduction.
cites work: Computing with membranes
cites work: Q3406469
cites work: DYNAMICAL PROBABILISTIC P SYSTEMS
cites work: Modelling Biological Populations in Space and Time
cites work: Computer Aided Verification
DOI: 10.1016/J.TCS.2015.07.035
description: scientific article; zbMATH DE number 6519474