Towards probabilistic model checking on p systems using PRISM

Authors:
Francisco J. Romero-Campero;Marian Gheorghe;Luca Bianco;Dario Pescini;Mario J. Pérez-Jiménez;Rodica Ceterchi
Affiliations:
Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, University of Seville, Sevilla, Spain;Department of Computer Science, The University of Sheffield, Sheffield, UK;Department of Computer Science, University of Verona, Verona, Italy;Dipartimento di Informatica, Sistemistica e Comunicazione, Università degli Studi di Milano-Bicocca, Milano, Italy;Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, University of Seville, Sevilla, Spain;Faculty of Mathematics and Computer Science, University of Bucharest, Bucharest, Romania
Venue:
WMC'06 Proceedings of the 7th international conference on Membrane Computing
Year:
2006

Citing 8
Cited 4

Reactive Modules

Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Computing with membranes

Journal of Computer and System Sciences
P Systems with Boundary Rules

WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
Cell Cycle Control in Eukaryotes: A BioSpi model

Electronic Notes in Theoretical Computer Science (ENTCS)
P systems and the modeling of biochemical oscillations

WMC'05 Proceedings of the 6th international conference on Membrane Computing
Analysis of signalling pathways using continuous time markov chains

Transactions on Computational Systems Biology VI
Executable specifications of p systems

WMC'04 Proceedings of the 5th international conference on Membrane Computing
An environment aware p-system model of quorum sensing

CiE'05 Proceedings of the First international conference on Computability in Europe: new Computational Paradigms

Using probabilistic model checking in systems biology

ACM SIGMETRICS Performance Evaluation Review
Deterministic and stochastic P systems for modelling cellular processes

Natural Computing: an international journal
Formal verification of p systems with active membranes through model checking

CMC'11 Proceedings of the 12th international conference on Membrane Computing
Maximally Parallel Probabilistic Semantics for Multiset Rewriting

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.