---
_id: '3381'
abstract:
- lang: eng
  text: 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.
article_processing_charge: No
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. <i>IJFCS: International Journal of Foundations of Computer Science</i>.
    2011;22(4):823-841. doi:<a href="https://doi.org/10.1142/S0129054111008441">10.1142/S0129054111008441</a>'
  apa: 'Henzinger, T. A., Jobstmann, B., &#38; Wolf, V. (2011). Formalisms for specifying
    Markovian population models. <i>IJFCS: International Journal of Foundations of
    Computer Science</i>. World Scientific Publishing. <a href="https://doi.org/10.1142/S0129054111008441">https://doi.org/10.1142/S0129054111008441</a>'
  chicago: 'Henzinger, Thomas A, Barbara Jobstmann, and Verena Wolf. “Formalisms for
    Specifying Markovian Population Models.” <i>IJFCS: International Journal of Foundations
    of Computer Science</i>. World Scientific Publishing, 2011. <a href="https://doi.org/10.1142/S0129054111008441">https://doi.org/10.1142/S0129054111008441</a>.'
  ieee: 'T. A. Henzinger, B. Jobstmann, and V. Wolf, “Formalisms for specifying Markovian
    population models,” <i>IJFCS: International Journal of Foundations of Computer
    Science</i>, vol. 22, no. 4. World Scientific Publishing, pp. 823–841, 2011.'
  ista: 'Henzinger TA, Jobstmann B, Wolf V. 2011. Formalisms for specifying Markovian
    population models. IJFCS: International Journal of Foundations of Computer Science.
    22(4), 823–841.'
  mla: 'Henzinger, Thomas A., et al. “Formalisms for Specifying Markovian Population
    Models.” <i>IJFCS: International Journal of Foundations of Computer Science</i>,
    vol. 22, no. 4, World Scientific Publishing, 2011, pp. 823–41, doi:<a href="https://doi.org/10.1142/S0129054111008441">10.1142/S0129054111008441</a>.'
  short: 'T.A. Henzinger, B. Jobstmann, V. Wolf, IJFCS: International Journal of Foundations
    of Computer Science 22 (2011) 823–841.'
date_created: 2018-12-11T12:03:00Z
date_published: 2011-06-01T00:00:00Z
date_updated: 2025-09-30T08:49:01Z
day: '01'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1142/S0129054111008441
external_id:
  isi:
  - '000291552600005'
file:
- access_level: open_access
  checksum: df88431872586c773fbcfea37d7b36a2
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:08:45Z
  date_updated: 2020-07-14T12:46:11Z
  file_id: '4707'
  file_name: IST-2016-628-v1+1_journals-ijfcs-HenzingerJW11.pdf
  file_size: 222840
  relation: main_file
file_date_updated: 2020-07-14T12:46:11Z
fulldoi: https://doi.org/10.1142/S0129054111008441
has_accepted_license: '1'
intvolume: '        22'
isi: 1
issue: '4'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Submitted Version
page: 823 - 841
publication: 'IJFCS: International Journal of Foundations of Computer Science'
publication_status: published
publisher: World Scientific Publishing
publist_id: '3226'
pubrep_id: '628'
quality_controlled: '1'
related_material:
  record:
  - id: '3841'
    relation: earlier_version
    status: public
scopus_import: '1'
status: public
title: Formalisms for specifying Markovian population models
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 22
year: '2011'
...