Formalisms for specifying Markovian population models LNCS Henzinger, Thomas A ; https://orcid.org/0000−0002−2985−7724 Jobstmann, Barbara Wolf, Verena ddc:005 We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, stochastic Petri nets, stoichiometric equations, stochastic process algebras, 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. Springer 2009 info:eu-repo/semantics/conferenceObject doc-type:conferenceObject text https://research-explorer.ista.ac.at/record/3841 https://research-explorer.ista.ac.at/download/3841/4702 Henzinger TA, Jobstmann B, Wolf V. Formalisms for specifying Markovian population models. In: Vol 5797. Springer; 2009:3-23. doi:<a href="https://doi.org/10.1007/978-3-642-04420-5_2">10.1007/978-3-642-04420-5_2</a> eng info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-04420-5_2 info:eu-repo/semantics/openAccess