Formalisms for specifying Markovian population models. Henzinger, T., Jobstmann, B., & Wolf, V. International Journal of Foundations of Computer Science, 2011.
doi  abstract   bibtex   
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. © 2011 World Scientific Publishing Company.
@article{
 title = {Formalisms for specifying Markovian population models},
 type = {article},
 year = {2011},
 volume = {22},
 id = {ec9d0ecd-898c-371f-a418-e6108be5de38},
 created = {2017-12-21T13:50:26.908Z},
 file_attached = {false},
 profile_id = {bbb99b2d-2278-3254-820f-2de6d915ce63},
 last_modified = {2017-12-21T13:50:26.908Z},
 read = {false},
 starred = {false},
 authored = {true},
 confirmed = {false},
 hidden = {false},
 private_publication = {false},
 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. © 2011 World Scientific Publishing Company.},
 bibtype = {article},
 author = {Henzinger, T. and Jobstmann, B. and Wolf, V.},
 doi = {10.1142/S0129054111008441},
 journal = {International Journal of Foundations of Computer Science},
 number = {4}
}

Downloads: 0