Structural characterization of decomposition in rate-insensitive stochastic Petri nets

Nikky Kortbeek, Richard J. Boucherie, Erik van Ommeren, Peter G. Taylor

Research output: Book/ReportReportProfessional

8 Downloads (Pure)

Abstract

This paper focuses on stochastic Petri nets that have an equilibrium distribution that is a product form over the number of tokens at the places. We formulate a decomposition result for the class of nets that have a product form solution irrespective of the values of the transition rates. These nets where algebraically characterized by Haddad et al. as SII2 nets. By providing an intuitive interpretation of this algebraical characterization, and associating state machines to sets of T-invariants, we obtain a one-to-one correspondence between the marking of the original places and the places of the added state machines. This enables us to show that the subclass of stochastic Petri nets under study can be decomposed into subnets that are identified by sets of its T-invariants.
Original languageEnglish
Place of PublicationEnschede
PublisherUniversity of Twente, Department of Applied Mathematics
Number of pages19
Publication statusPublished - Sep 2012

Publication series

NameMemorandum
PublisherDepartment of Applied Mathematics, University of Twente
No.1993
ISSN (Print)1874-4850

Fingerprint

Petri nets
Decomposition
Equilibrium distribution

Keywords

  • Stochastic Petri net
  • T-invariant
  • MSC-68M20
  • MSC-60K25
  • MSC-60J27
  • P-invariant
  • Decomposition
  • Product Form

Cite this

Kortbeek, N., Boucherie, R. J., van Ommeren, E., & Taylor, P. G. (2012). Structural characterization of decomposition in rate-insensitive stochastic Petri nets. (Memorandum; No. 1993). Enschede: University of Twente, Department of Applied Mathematics.
Kortbeek, Nikky ; Boucherie, Richard J. ; van Ommeren, Erik ; Taylor, Peter G. / Structural characterization of decomposition in rate-insensitive stochastic Petri nets. Enschede : University of Twente, Department of Applied Mathematics, 2012. 19 p. (Memorandum; 1993).
@book{dd4d261b21704d5798acbf8d89828215,
title = "Structural characterization of decomposition in rate-insensitive stochastic Petri nets",
abstract = "This paper focuses on stochastic Petri nets that have an equilibrium distribution that is a product form over the number of tokens at the places. We formulate a decomposition result for the class of nets that have a product form solution irrespective of the values of the transition rates. These nets where algebraically characterized by Haddad et al. as SII2 nets. By providing an intuitive interpretation of this algebraical characterization, and associating state machines to sets of T-invariants, we obtain a one-to-one correspondence between the marking of the original places and the places of the added state machines. This enables us to show that the subclass of stochastic Petri nets under study can be decomposed into subnets that are identified by sets of its T-invariants.",
keywords = "Stochastic Petri net, T-invariant, MSC-68M20, MSC-60K25, MSC-60J27, P-invariant, Decomposition, Product Form",
author = "Nikky Kortbeek and Boucherie, {Richard J.} and {van Ommeren}, Erik and Taylor, {Peter G.}",
year = "2012",
month = "9",
language = "English",
series = "Memorandum",
publisher = "University of Twente, Department of Applied Mathematics",
number = "1993",

}

Kortbeek, N, Boucherie, RJ, van Ommeren, E & Taylor, PG 2012, Structural characterization of decomposition in rate-insensitive stochastic Petri nets. Memorandum, no. 1993, University of Twente, Department of Applied Mathematics, Enschede.

Structural characterization of decomposition in rate-insensitive stochastic Petri nets. / Kortbeek, Nikky; Boucherie, Richard J.; van Ommeren, Erik; Taylor, Peter G.

Enschede : University of Twente, Department of Applied Mathematics, 2012. 19 p. (Memorandum; No. 1993).

Research output: Book/ReportReportProfessional

TY - BOOK

T1 - Structural characterization of decomposition in rate-insensitive stochastic Petri nets

AU - Kortbeek, Nikky

AU - Boucherie, Richard J.

AU - van Ommeren, Erik

AU - Taylor, Peter G.

PY - 2012/9

Y1 - 2012/9

N2 - This paper focuses on stochastic Petri nets that have an equilibrium distribution that is a product form over the number of tokens at the places. We formulate a decomposition result for the class of nets that have a product form solution irrespective of the values of the transition rates. These nets where algebraically characterized by Haddad et al. as SII2 nets. By providing an intuitive interpretation of this algebraical characterization, and associating state machines to sets of T-invariants, we obtain a one-to-one correspondence between the marking of the original places and the places of the added state machines. This enables us to show that the subclass of stochastic Petri nets under study can be decomposed into subnets that are identified by sets of its T-invariants.

AB - This paper focuses on stochastic Petri nets that have an equilibrium distribution that is a product form over the number of tokens at the places. We formulate a decomposition result for the class of nets that have a product form solution irrespective of the values of the transition rates. These nets where algebraically characterized by Haddad et al. as SII2 nets. By providing an intuitive interpretation of this algebraical characterization, and associating state machines to sets of T-invariants, we obtain a one-to-one correspondence between the marking of the original places and the places of the added state machines. This enables us to show that the subclass of stochastic Petri nets under study can be decomposed into subnets that are identified by sets of its T-invariants.

KW - Stochastic Petri net

KW - T-invariant

KW - MSC-68M20

KW - MSC-60K25

KW - MSC-60J27

KW - P-invariant

KW - Decomposition

KW - Product Form

M3 - Report

T3 - Memorandum

BT - Structural characterization of decomposition in rate-insensitive stochastic Petri nets

PB - University of Twente, Department of Applied Mathematics

CY - Enschede

ER -

Kortbeek N, Boucherie RJ, van Ommeren E, Taylor PG. Structural characterization of decomposition in rate-insensitive stochastic Petri nets. Enschede: University of Twente, Department of Applied Mathematics, 2012. 19 p. (Memorandum; 1993).