Open AccessTowards Probabilistic Model Checking on P Systems Using PRISM
Author(s) -
Francisco J. RomeroCampero,
Marian Gheorghe,
Luca Bianco,
Dario Pescini,
Mario J. Pérez–Jiménez,
Rodica Ceterchi
Publication year - 2006
Publication title -
lecture notes in computer science
Language(s) - English
Resource type - Book series
SCImago Journal Rank - 0.249
H-Index - 400
eISSN - 1611-3349
pISSN - 0302-9743
ISBN - 3-540-69088-3
DOI - 10.1007/11963516_30
Subject(s) - computer science , probabilistic logic , prism , algorithm , artificial intelligence , optics , physics
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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom