Petri net models for algebraic theories of concurrency
Volume II: Parallel Languages on PARLE: Parallel Architectures and Languages Europe
A compositional approach to performance modelling
A compositional approach to performance modelling
Information Processing Letters
Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets
Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets
The theory of interactive generalized semi-Markov processes
Theoretical Computer Science
The Definition of Standard ML
Towards Performance Evaluation with General Distributions in Process Algebras
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
On the role of generalized semi-Markov processes in simulation output analysis
WSC '83 Proceedings of the 15th conference on Winter simulation - Volume 1
BioAmbients: an abstraction for biological compartments
Theoretical Computer Science - Special issue: Computational systems biology
Probabilistic model checking of complex biological pathways
Theoretical Computer Science
Modelling and simulation of biological processes in BlenX
ACM SIGMETRICS Performance Evaluation Review
Spatial Calculus of Looping Sequences
Electronic Notes in Theoretical Computer Science (ENTCS)
Bio-PEPA: A framework for the modelling and analysis of biological systems
Theoretical Computer Science
Exploiting non-Markovian Bio-Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
A theory of Stochastic systems. Part II: Process algebra
Information and Computation
The calculus of looping sequences
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
A generic abstract machine for stochastic process calculi
Proceedings of the 8th International Conference on Computational Methods in Systems Biology
A semantic equivalence for Bio-PEPA based on discretisation of continuous values
Theoretical Computer Science
Delay stochastic simulation of biological systems: a purely delayed approach
Transactions on computational systems biology XIII
A language for biochemical systems: design and formal specification
Transactions on Computational Systems Biology XII
Rule-based modelling of cellular signalling
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Hi-index | 5.23 |
Delays in biological systems may be used to model events for which the underlying dynamics cannot be precisely observed, or to provide abstraction of some behavior of the system resulting in more compact models. In this paper, we enrich the stochastic process algebra Bio-PEPA, with the possibility of assigning delays to actions, yielding a new non-Markovian stochastic process algebra: Bio-PEPAd. This is a conservative extension meaning that the original syntax of Bio-PEPA is retained and the delay specification which can now be associated with actions may be added to existing Bio-PEPA models. The semantics of the firing of the actions with delays is the delay-as-duration approach, earlier presented in papers on the stochastic simulation of biological systems with delays. This semantics of the algebra is given in the Starting-Terminating style, meaning that the state and the completion of an action are observed as two separate events, as required by delays. We formally define the encoding of Bio-PEPAd systems in Generalized Semi-Markov Processes (GSMPs), as input for a Delay Stochastic Simulation Algorithm (DSSA) and as sets of Delay Differential Equations (DDEs), the deterministic framework for modeling of biological systems with delays. Finally, we prove theorems stating the relation between Bio-PEPA and Bio-PEPAd models. We end the paper with an example model of biological systems with delays to illustrate the approach.