Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    19 Citations (Scopus)
    77 Downloads (Pure)

    Abstract

    Recently, hybrid Petri nets with a single general one-shot transition (HPnGs) have been introduced together with an algorithm to analyze their underlying state space using a conditioning/deconditioning approach. In this paper we propose a considerably more efficient algorithm for analysing HPnGs. The proposed algorithm maps the underlying state-space onto a plane for all possible firing times of the general transition s and for all possible systems times t. The key idea of the proposed method is that instead of dealing with infinitely many points in the t-s-plane, we can partition the state space into several regions, such that all points inside one region are associated with the same system state. To compute the probability to be in a specific system state at time τ, it suffices to find all regions intersecting the line t = τ and decondition the firing time over the intersections. This partitioning results in a considerable speed-up and provides more accurate results. A scalable case study illustrates the efficiency gain with respect to the previous algorithm.
    Original languageUndefined
    Title of host publication10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2012)
    Place of PublicationLondon
    PublisherSpringer
    Pages139-154
    Number of pages16
    ISBN (Print)978-3-642-33364-4
    DOIs
    Publication statusPublished - Sept 2012
    Event10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012 - Imperial College London, London, United Kingdom
    Duration: 18 Sept 201220 Sept 2012
    Conference number: 10
    http://www2.warwick.ac.uk/fac/cross_fac/dimap/events/formats2012/

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Verlag
    Volume7595
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012
    Abbreviated titleFORMATS
    Country/TerritoryUnited Kingdom
    CityLondon
    Period18/09/1220/09/12
    Internet address

    Keywords

    • EWI-22858
    • IR-83495
    • METIS-293298

    Cite this