Results 41 to 50 of about 11,828,886 (169)
Performance analysis of Stochastic Process Algebra models using Stochastic Simulation
We present a translation of a generic stochastic process algebra model into a form suitable for stochastic simulation. By systematically generating rate equations from a process description, we can use tools developed for chemical and biochemical ...
Thomas N, Bradley JT, Gilmore ST
core +5 more sources
A compartmental model of the cAMP/PKA/MAPK pathway in Bio-PEPA [PDF]
Electronic Proceedings in Theoretical Computer Science, 2009 The vast majority of biochemical systems involve the exchange of information between different compartments, either in the form of transportation or via the intervention of membrane proteins which are able to transmit stimuli between bordering ...
Federica Ciocchetta +2 more
doaj +1 more source
On the Aggregation Techniques in Stochastic Petri Nets and Stochastic Process Algebras [PDF]
The Computer Journal, 1995 Stochastic Petri Nets and Stochastic Process Algebras can both be used for the qualitative and quantitative analysis of parallel and distributed systems. However, sometimes the complexity of the system can make such analysis infeasible, due to the large size of the state space underlying the model.
openaire +3 more sources
Clark-Ocone type formulas in the Meixner white noise analysis
Karpatsʹkì Matematičnì Publìkacìï, 2013 In the classical Gaussian analysis the Clark-Ocone formula allows to reconstruct an integrand if we know the Ito stochastic integral. This formula can be written in the form$$F=\mathbf EF+\int\mathbf E\big\{\partial_t F|_{\mathcal F_t}\big\}dW_t,$$where ...
N. A. Kachanovsky
doaj +1 more source
Direct solution of the Chemical Master Equation using quantized tensor trains. [PDF]
PLoS Computational Biology, 2014 The Chemical Master Equation (CME) is a cornerstone of stochastic analysis and simulation of models of biochemical reaction networks. Yet direct solutions of the CME have remained elusive.
Vladimir Kazeev +3 more
doaj +1 more source
Some Reliability Issues of the Corrugated I-Beam Girder
Engineering Transactions, 2015 The main aim of this paper is reliability analysis of the corrugated-web I-girder carried out to verify its susceptibility to the random corrosion of the web and to make a comparison of the results of the first and of the second order reliability ...
Damian SOKOŁOWSKI +1 more
doaj +1 more source
Embedding Real Time in Stochastic Process Algebras
, 2006 We present a stochastic process algebra including immediate actions, deadlock and termination, and explicit stochastic delays, in the setting of weak choice between immediate actions and passage of time. The operational semantics is a spent time semantics, avoiding explicit clocks.
Markovski, J., Vink, de, E.P.
openaire +3 more sources
Process Algebra and Markov Chains [PDF]
, 2001 This paper surveys and relates the basic concepts of process algebra and the modelling of continuous time Markov chains. It provides basic introductions to both fields, where we also study the Markov chains from an algebraic perspective, viz.
Hermanns, H. +2 more
core +4 more sources
Visualisation for Stochastic Process Algebras: The Graphic Truth [PDF]
, 2011 There have historically been two approaches to performance modelling. On the one hand, textual language-based formalisms such as stochastic process algebras allow compositional modelling that is portable and easy to manage. In contrast, graphical formalisms such as stochastic Petri nets and stochastic activity networks provide an automaton-based view ...
Michael J. A. Smith, Stephen Gilmore
openaire +1 more source
A survey of the PEPA tools [PDF]
, 2003 This paper surveys the history and the current state of tool supportfor modelling with the PEPA stochastic process algebra and the PEPAnets modelling language.
Hillston, Jane +1 more
core