Hybrid Petri nets have been extended to include general transitions that fire after a randomly distributed amount of time. With a single general one-shot transition the state space and evolution over time can be represented either as a Parametric Location Tree or as a Stochastic Time Diagram. Recent work has shown that both representations can be combined and then allow multiple stochastic firings. This work presents an algorithm for building the Parametric Location Tree with multiple general transition firings and shows how its transient probability distribution can be computed. A case study on a battery-backup system shows the feasibility of the approach.
CITATION STYLE
Hüls, J., Pilch, C., Schinke, P., Delicaris, J., & Remke, A. (2019). State-space construction of hybrid petri nets with multiple stochastic firings. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11785 LNCS, pp. 182–199). Springer Verlag. https://doi.org/10.1007/978-3-030-30281-8_11
Mendeley helps you to discover research relevant for your work.