About | Contact Us | Register | Login
ProceedingsSeriesJournalsSearchEAI
8th International Conference on Performance Evaluation Methodologies and Tools

Research Article

Hybrid Petri nets with multiple stochastic transition firings

Download1231 downloads
Cite
BibTeX Plain Text
  • @INPROCEEDINGS{10.4108/icst.valuetools.2014.258204,
        author={Hamed Ghasemieh and Anne Remke and Boudewijn Haverkort},
        title={Hybrid Petri nets with multiple stochastic transition firings},
        proceedings={8th International Conference on Performance Evaluation Methodologies and Tools},
        publisher={EAI},
        proceedings_a={VALUETOOLS},
        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
    VALUETOOLS
    ICST
    DOI: 10.4108/icst.valuetools.2014.258204
Hamed Ghasemieh1,*, Anne Remke1, Boudewijn Haverkort1
  • 1: University of Twente
*Contact email: h.ghasemieh@utwente.nl

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
stochastic hybrid petri-nets computational geometry transient analysis
Published
2015-02-19
Publisher
EAI
Appears in
ACM Digital Library
http://dx.doi.org/10.4108/icst.valuetools.2014.258204
Copyright © 2014–2025 ICST
EBSCOProQuestDBLPDOAJPortico
EAI Logo

About EAI

  • Who We Are
  • Leadership
  • Research Areas
  • Partners
  • Media Center

Community

  • Membership
  • Conference
  • Recognition
  • Sponsor Us

Publish with EAI

  • Publishing
  • Journals
  • Proceedings
  • Books
  • EUDL