We found a match
Your institution may have rights to this item. Sign in to continue.
- Title
FORMALISMS FOR SPECIFYING MARKOVIAN POPULATION MODELS.
- Authors
HENZINGER, THOMAS; JOBSTMANN, BARBARA; WOLF, VERENA; Bournez, Oliver; Potapov, Igor
- Abstract
In this survey, we compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. All these languages - matrix descriptions, stochastic Petri nets, stoichiometric equations, stochastic process algebras, and guarded command models - describe continuous-time Markov chains, but they differ according to important properties, such as compositionality, expressiveness and succinctness, executability, and ease of use. Moreover, they provide different support for checking the well-formedness of a model and for analyzing a model.
- Subjects
MARKOV processes; COMPARATIVE studies; QUEUEING networks; COMPUTER networks; STOCHASTIC processes; PETRI nets; STOICHIOMETRY; MATHEMATICAL models
- Publication
International Journal of Foundations of Computer Science, 2011, Vol 22, Issue 4, p823
- ISSN
0129-0541
- Publication type
Article
- DOI
10.1142/S0129054111008441