Modeling membrane systems using colored stochastic Petri nets

DOI10.1007/s11047-013-9367-8zbMath1333.68109OpenAlexW2072564350WikidataQ63241794 ScholiaQ63241794MaRDI QIDQ269787

F. Blanchet-Sadri, M. Dambrine

Publication date: 6 April 2016

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

Full work available at URL: https://doi.org/10.1007/s11047-013-9367-8

zbMATH Keywords

colored stochastic Petri netsdynamic color setsstochastic membrane systems with active membranesvirus infection

Mathematics Subject Classification ID

Related Items (1)

Process calculi for biological processes

Uses Software

• SNOOPY

Cites Work

• 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
• Coloured Petri nets and the invariant-method
• Computing with membranes
• Membrane computing. An introduction.
• Membrane computing. 10th international workshop, WMC 2009, Curtea de Arges, Romania, August 24--27, 2009. Revised selected and invited papers
• A Petri net model for membrane systems with dynamic structure
• Flattening the Transition P Systems with Dissolution
• Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments
• Producer/Consumer in Membrane Systems and Petri Nets
• A Hybrid Approach to Modeling Biological Systems
• Membrane Computing
• Membrane Computing
• Deterministic and stochastic P systems for modelling cellular processes

This page was built for publication: Modeling membrane systems using colored stochastic Petri nets