---
_id: '3841'
abstract:
- lang: eng
  text: '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. '
acknowledgement: This research was supported in part by the Excellence Cluster on
  Multimodal Computing and Interaction and the Swiss National Science Foundation.
alternative_title:
- LNCS
author:
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Barbara
  full_name: Jobstmann, Barbara
  last_name: Jobstmann
- first_name: Verena
  full_name: Wolf, Verena
  last_name: Wolf
citation:
  ama: '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>'
  apa: 'Henzinger, T. A., Jobstmann, B., &#38; Wolf, V. (2009). Formalisms for specifying
    Markovian population models (Vol. 5797, pp. 3–23). Presented at the RP: Reachability
    Problems, Palaiseau, France: Springer. <a href="https://doi.org/10.1007/978-3-642-04420-5_2">https://doi.org/10.1007/978-3-642-04420-5_2</a>'
  chicago: Henzinger, Thomas A, Barbara Jobstmann, and Verena Wolf. “Formalisms for
    Specifying Markovian Population Models,” 5797:3–23. Springer, 2009. <a href="https://doi.org/10.1007/978-3-642-04420-5_2">https://doi.org/10.1007/978-3-642-04420-5_2</a>.
  ieee: 'T. A. Henzinger, B. Jobstmann, and V. Wolf, “Formalisms for specifying Markovian
    population models,” presented at the RP: Reachability Problems, Palaiseau, France,
    2009, vol. 5797, pp. 3–23.'
  ista: 'Henzinger TA, Jobstmann B, Wolf V. 2009. Formalisms for specifying Markovian
    population models. RP: Reachability Problems, LNCS, vol. 5797, 3–23.'
  mla: Henzinger, Thomas A., et al. <i>Formalisms for Specifying Markovian Population
    Models</i>. Vol. 5797, Springer, 2009, pp. 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>.
  short: T.A. Henzinger, B. Jobstmann, V. Wolf, in:, Springer, 2009, pp. 3–23.
conference:
  end_date: 2009-09-25
  location: Palaiseau, France
  name: 'RP: Reachability Problems'
  start_date: 2009-09-23
date_created: 2018-12-11T12:05:28Z
date_published: 2009-09-07T00:00:00Z
date_updated: 2025-09-30T08:49:00Z
day: '07'
ddc:
- '005'
department:
- _id: ToHe
doi: 10.1007/978-3-642-04420-5_2
file:
- access_level: open_access
  checksum: df88431872586c773fbcfea37d7b36a2
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:08:41Z
  date_updated: 2020-07-14T12:46:16Z
  file_id: '4702'
  file_name: IST-2012-67-v1+1_Formalisms_for_specifying_Markovian_population_models.pdf
  file_size: 222840
  relation: main_file
file_date_updated: 2020-07-14T12:46:16Z
has_accepted_license: '1'
intvolume: '      5797'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Submitted Version
page: 3 - 23
publication_status: published
publisher: Springer
publist_id: '2352'
pubrep_id: '67'
quality_controlled: '1'
related_material:
  record:
  - id: '3381'
    relation: later_version
    status: public
scopus_import: 1
status: public
title: Formalisms for specifying Markovian population models
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 5797
year: '2009'
...