Towards Probabilistic Model Checking on P Systems Using PRISM
- Romero Campero, Francisco José
- Gheorghe, Marian
- Bianco, Luca
- Pescini, Dario
- Pérez Jiménez, Mario de Jesús
- Ceterchi, Rodica
Publication date
January 2006
DOI Publisher
Springer Fachmedien Wiesbaden GmbH ISSN
0302-9743 Citation count (estimate)
21Abstract
This paper presents the use of P systems and π-calculus to model interacting molecular entities and how they are translated into a probabilistic and symbolic model checker called PRISM.Ministerio de Educación y Ciencia TIN2005-09345-C04-01Junta de Andalucía TIC-58
Add to ORKG