Research Article
Hybrid Petri nets with multiple stochastic transition firings
@ARTICLE{10.4108/icst.valuetools.2014.258204, author={Hamed Ghasemieh and Anne Remke and Boudewijn Haverkort}, title={Hybrid Petri nets with multiple stochastic transition firings}, journal={EAI Endorsed Transactions on Self-Adaptive Systems}, volume={1}, number={3}, publisher={EAI}, journal_a={SAS}, year={2015}, month={2}, keywords={stochastic hybrid petri-nets, computational geometry, transient analysis}, doi={10.4108/icst.valuetools.2014.258204} }- Hamed Ghasemieh
Anne Remke
Boudewijn Haverkort
Year: 2015
Hybrid Petri nets with multiple stochastic transition firings
SAS
EAI
DOI: 10.4108/icst.valuetools.2014.258204
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.
Copyright © 2015 H. Ghasemieh et al., licensed to EAI. This is an open access article distributed under the terms of the Creative Commons Attribution licence (http://creativecommons.org/licenses/by/3.0/), which permits unlimited use, distribution and reproduction in any medium so long as the original work is properly cited.