Simulation of non-Markovian Processes in BlenX
Davide Prandi, Corrado Priami, Alessandro Romanel · Unitn Eprints Research (Università Degli Studi di Trento) · 2008
BlenX is a programming language explicitly designed for modeling biological processes inspired by Beta-binders. The actual framework assumes biochemical interactions being exponentially distributed, i.e., an underlying Markov process is associated with BlenX programs. In this paper we relax this condition by providing formal tools for managing non-Markovian processes within BlenX.