Hybrid Petri nets with multiple stochastic transition firings

Hamed Ghasemieh, Anne Katharina Ingrid Remke, Boudewijn R.H.M. Haverkort

Research output: Contribution to conferencePaperAcademicpeer-review

7 Citations (Scopus)
122 Downloads (Pure)

Abstract

This paper introduces an algorithm for the efficient computation of transient measures of interest in Hybrid Petri nets in which the stochastic transitions are allowed to fire an arbitrary but finite number of times. Each firing increases the dimensionality of the underlying discrete/continuous state space. The algorithm evolves around a partitioning of the multi-dimensional state-space into regions, making use of advanced algorithms (and libraries) for computational geometry. To bound the number of stochastic transition firings the notion of control tokens is newly introduced. While the new partitioning algorithm is general, the implementation is currently limited to only two stochastic firings. The feasibility and usefulness of the new algorithm is illustrated in a case study of a water refinery plant with cascading failures.
Original languageUndefined
Pages217-224
Number of pages8
DOIs
Publication statusPublished - 9 Dec 2014

Keywords

  • IR-99217
  • EWI-26717

Cite this

@conference{8dcc6ee16b6c4df0b18a61785be08dcc,
title = "Hybrid Petri nets with multiple stochastic transition firings",
abstract = "This paper introduces an algorithm for the efficient computation of transient measures of interest in Hybrid Petri nets in which the stochastic transitions are allowed to fire an arbitrary but finite number of times. Each firing increases the dimensionality of the underlying discrete/continuous state space. The algorithm evolves around a partitioning of the multi-dimensional state-space into regions, making use of advanced algorithms (and libraries) for computational geometry. To bound the number of stochastic transition firings the notion of control tokens is newly introduced. While the new partitioning algorithm is general, the implementation is currently limited to only two stochastic firings. The feasibility and usefulness of the new algorithm is illustrated in a case study of a water refinery plant with cascading failures.",
keywords = "IR-99217, EWI-26717",
author = "Hamed Ghasemieh and Remke, {Anne Katharina Ingrid} and Haverkort, {Boudewijn R.H.M.}",
year = "2014",
month = "12",
day = "9",
doi = "10.4108/icst.valuetools.2014.258204",
language = "Undefined",
pages = "217--224",

}

Hybrid Petri nets with multiple stochastic transition firings. / Ghasemieh, Hamed; Remke, Anne Katharina Ingrid; Haverkort, Boudewijn R.H.M.

2014. 217-224.

Research output: Contribution to conferencePaperAcademicpeer-review

TY - CONF

T1 - Hybrid Petri nets with multiple stochastic transition firings

AU - Ghasemieh, Hamed

AU - Remke, Anne Katharina Ingrid

AU - Haverkort, Boudewijn R.H.M.

PY - 2014/12/9

Y1 - 2014/12/9

N2 - This paper introduces an algorithm for the efficient computation of transient measures of interest in Hybrid Petri nets in which the stochastic transitions are allowed to fire an arbitrary but finite number of times. Each firing increases the dimensionality of the underlying discrete/continuous state space. The algorithm evolves around a partitioning of the multi-dimensional state-space into regions, making use of advanced algorithms (and libraries) for computational geometry. To bound the number of stochastic transition firings the notion of control tokens is newly introduced. While the new partitioning algorithm is general, the implementation is currently limited to only two stochastic firings. The feasibility and usefulness of the new algorithm is illustrated in a case study of a water refinery plant with cascading failures.

AB - This paper introduces an algorithm for the efficient computation of transient measures of interest in Hybrid Petri nets in which the stochastic transitions are allowed to fire an arbitrary but finite number of times. Each firing increases the dimensionality of the underlying discrete/continuous state space. The algorithm evolves around a partitioning of the multi-dimensional state-space into regions, making use of advanced algorithms (and libraries) for computational geometry. To bound the number of stochastic transition firings the notion of control tokens is newly introduced. While the new partitioning algorithm is general, the implementation is currently limited to only two stochastic firings. The feasibility and usefulness of the new algorithm is illustrated in a case study of a water refinery plant with cascading failures.

KW - IR-99217

KW - EWI-26717

U2 - 10.4108/icst.valuetools.2014.258204

DO - 10.4108/icst.valuetools.2014.258204

M3 - Paper

SP - 217

EP - 224

ER -