Minimal probabilistic P systems for modelling ecological systems

DOI10.1016/J.TCS.2015.07.035MaRDI QIDQ896706zbMATH OpenOpenAlexFDO

Authors Roberto Barbuti, Pasquale Bove, Paolo Milazzo, Giovanni Pardini

Publication date 10 December 2015

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2015.07.035

zbMATH Keywords

P systemsstochastic simulationstatistical model checkingecosystems modelling

Mathematics Subject Classification ID

Ecology (92D40) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Applications of P systems in population biology and ecology: the cases of MPP and APP systems
• A computational modeling for real ecosystems based on P systems
• A simulation algorithm for multienvironment probabilistic P systems: a formal verification
• Probabilistic Guarded P Systems, A New Formal Modelling Framework
• Current developments on computational modeling using P systems

Cites work

• scientific article; zbMATH DE number 5671765 (Why is no real title available?)
• scientific article; zbMATH DE number 5506889 (Why is no real title available?)
• A computational modeling for real ecosystems based on P systems
• A logic for reasoning about time and reliability
• A probabilistic model for molecular systems
• A rewriting logic framework for operational semantics of membrane systems
• An overview on operational semantics in membrane computing
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Compositional semantics and behavioral equivalences for P systems
• Compositional semantics of spiking neural P systems
• Computer Aided Verification
• Computing with membranes
• DYNAMICAL PROBABILISTIC P SYSTEMS
• Formal methods for computational systems biology. 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 Bertinoro, Italy, June 2--7, 2008. Advanced lectures
• Maximally parallel probabilistic semantics for multiset rewriting
• Membrane Computing
• Membrane computing. An introduction.
• Membrane systems with promoters/inhibitors
• Modelling Biological Populations in Space and Time
• PROBABILISTIC REWRITING P SYSTEMS
• Probabilistic transitions for P systems
• Simulation of spatial P system models
• Spatial P systems
• Spatial calculus of looping sequences
• Using well-structured transition systems to decide divergence for catalytic P systems

Cited in

(5)

• Modeling diel vertical migration with membrane computing
• Modeling Ecosystems Using P Systems: The Bearded Vulture, a Case Study
• On divergence-sensitive weak probabilistic bisimilarity
• Predictors for flat membrane systems
• Applications of P systems in population biology and ecology: the cases of MPP and APP systems

Describes a project that uses

Uses Software

• PRISM

This page was built for publication: Minimal probabilistic P systems for modelling ecological systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q896706)