Minimal probabilistic P systems for modelling ecological systems
From MaRDI portal
Publication:896706
DOI10.1016/J.TCS.2015.07.035zbMATH Open1333.92068OpenAlexW934537857MaRDI QIDQ896706FDOQ896706
Roberto Barbuti, Pasquale Bove, Giovanni Pardini, Paolo Milazzo
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
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
- Computing with membranes
- Membrane computing. An introduction.
- Title not available (Why is that?)
- Simulation of spatial P system models
- AN OVERVIEW ON OPERATIONAL SEMANTICS IN MEMBRANE COMPUTING
- Spatial 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
- Compositional semantics of spiking neural P systems
- A logic for reasoning about time and reliability
- Spatial calculus of looping sequences
- Compositional semantics and behavioral equivalences for P systems
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Title not available (Why is that?)
- A probabilistic model for molecular systems
- DYNAMICAL PROBABILISTIC P SYSTEMS
- Using well-structured transition systems to decide divergence for catalytic P systems
- A rewriting logic framework for operational semantics of membrane systems
- Modelling Biological Populations in Space and Time
- Membrane systems with promoters/inhibitors
- Computer Aided Verification
- A computational modeling for real ecosystems based on P systems
- Membrane Computing
- Title not available (Why is that?)
- PROBABILISTIC REWRITING P SYSTEMS
- Probabilistic transitions for P systems
Cited In (5)
- Modeling Ecosystems Using P Systems: The Bearded Vulture, a Case Study
- Modeling diel vertical migration with membrane computing
- 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
Uses Software
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)
