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 language | Undefined |
---|---|
Title of host publication | 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2012) |
Place of Publication | London |
Publisher | Springer |
Pages | 139-154 |
Number of pages | 16 |
ISBN (Print) | 978-3-642-33364-4 |
DOIs | |
Publication status | Published - Sept 2012 |
Event | 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012 - Imperial College London, London, United Kingdom Duration: 18 Sept 2012 → 20 Sept 2012 Conference number: 10 http://www2.warwick.ac.uk/fac/cross_fac/dimap/events/formats2012/ |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer Verlag |
Volume | 7595 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012 |
---|---|
Abbreviated title | FORMATS |
Country/Territory | United Kingdom |
City | London |
Period | 18/09/12 → 20/09/12 |
Internet address |
Keywords
- EWI-22858
- IR-83495
- METIS-293298