A Hybrid Approach to Modeling Biological Systems

DOI10.1007/978-3-540-77312-2_9zbMath1137.68373OpenAlexW1576177385MaRDI QIDQ5452054

Francesco Bernardini, Marian Gheorghe, Francisco J. Romero-Campero, Neil Walkinshaw

Publication date: 28 March 2008

Published in: Membrane Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-77312-2_9

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Biochemistry, molecular biology (92C40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (7)

Modeling membrane systems using colored stochastic Petri nets ⋮ Formal Verification of P Systems with Active Membranes through Model Checking ⋮ Comparative Analysis of Statistical Model Checking Tools ⋮ An Approach to the Engineering of Cellular Models Based on P Systems ⋮ Deterministic and stochastic P systems for modelling cellular processes ⋮ MODULAR ASSEMBLY OF CELL SYSTEMS BIOLOGY MODELS USINGPSYSTEMS ⋮ Towards light-weight probabilistic model checking

Uses Software

• PRISM
• Daikon

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Discrete solutions to differential equations by metabolic P systems
• Cellular modelling using P systems and process algebra
• Lectures on Petri nets. 1: Basic models. Advances in Petri nets
• Computing with membranes
• DYNAMICAL PROBABILISTIC P SYSTEMS
• Synchrony and Asynchrony in Membrane Systems
• Membrane Computing
• Membrane Computing
• Membrane Computing

This page was built for publication: A Hybrid Approach to Modeling Biological Systems