A P- and T-invariant characterization of product form and decomposition in stochastic Petri nets

Nikky Kortbeek, Richard J. Boucherie

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)

Abstract

Structural product form and decomposition results for stochastic Petri nets are surveyed,unifed and extended. The contribution is threefold. First, the literature on structural results for product form over the number of tokens at the places is surveyed and rephrased completely in terms of T-invariants. Second, based on the underlying concept of group-local-balance, the product form results for stochastic Petri nets are demarcated and an intuitive explanation is provided of these results based on T-invariants, only. Third, a decomposition result is provided that is completely formulated in terms of both T-invariants and P-invariants.
Original languageEnglish
Pages (from-to)573-599
Number of pages27
JournalPerformance evaluation
Volume69
Issue number11
DOIs
Publication statusPublished - 2012

Keywords

  • Product Form
  • P-invariant
  • Stochastic Petri net
  • Decomposition
  • T-invariant

Fingerprint Dive into the research topics of 'A <i>P</i>- and <i>T</i>-invariant characterization of product form and decomposition in stochastic Petri nets'. Together they form a unique fingerprint.

Cite this