Sciweavers

Share
RP
2009
Springer

Formalisms for Specifying Markovian Population Models

12 years 8 months ago
Formalisms for Specifying Markovian Population Models
Abstract. We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, stochastic Petri nets, stochastic process algebras, stoichiometric equations, and guarded command models— all describe continuous-time Markov chains, but they differ according to important properties, such as compositionality, expressiveness and succinctness, executability, ease of use, and the support they provide for checking the well-formedness of a model and for analyzing a model.
Thomas A. Henzinger, Barbara Jobstmann, Verena Wol
Added 27 May 2010
Updated 27 May 2010
Type Conference
Year 2009
Where RP
Authors Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf
Comments (0)
books