A. Abate, J. Katoen, J. Lygeros, and M. Prandini, Approximate Model Checking of Stochastic Hybrid Systems, European Journal of Control, vol.6, pp.624-641, 2010.

H. Alla and R. David, Continuous and hybrid petri nets, Systems, and Computers, vol.8, issue.01, pp.159-188, 1998.
URL : https://hal.archives-ouvertes.fr/hal-00495611

R. Alur, T. Feder, and T. A. Henzinger, The benefits of relaxing punctuality, Journal of the ACM, vol.43, issue.1, pp.116-146, 1996.

R. Bagnara, P. M. Hill, and E. Zaffanella, The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems, Science of Computer Programming, vol.72, issue.1-2, pp.3-21, 2008.

M. H. Everdij and H. A. Blom, Piecewise deterministic Markov processes represented by dynamically coloured Petri nets, Stochastics, vol.77, issue.1, pp.1-29, 2005.

G. Frehse, Z. Han, and B. Krogh, Assume-guarantee reasoning for hybrid I/Oautomata by over-approximation of continuous interaction, 43rd IEEE Conf. on Decision and Control, pp.479-484, 2004.

G. Frehse, R. Kateja, and C. L. Guernic, Flowpipe approximation and clustering in space-time, 16th Int. conf. on Hybrid systems: computation and control, pp.203-212, 2013.

H. Ghasemieh, A. Remke, and B. Haverkort, Survivability analysis of a sewage treatment facility using hybrid petri nets, Performance Evaluation, vol.97, pp.36-56, 2016.

H. Ghasemieh, A. Remke, B. Haverkort, and M. Gribaudo, Region-based analysis of hybrid petri nets with a single general one-shot transition, Int. Conf. on Formal Modeling and Analysis of Timed Systems, pp.139-154, 2012.

H. Ghasemieh, A. Remke, and B. R. Haverkort, Hybrid petri nets with multiple stochastic transition firings, 8th Int. Conf. on Performance Evaluation Methodologies and Tools, pp.217-224, 2014.

H. Ghasemieh, A. Remke, and B. R. Haverkort, Survivability Evaluation of Fluid Critical Infrastructures Using Hybrid Petri Nets, IEEE 19th Pacific Rim Int. Symp. on Dependable Computing, pp.152-161, 2013.

A. Girard, Reachability of uncertain linear systems using zonotopes, Hybrid Systems: Computation and Control, vol.3414, pp.291-305, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00307003

A. Godde and A. Remke, Model Checking the STL Time-Bounded Until on Hybrid Petri Nets Using Nef Polyhedra, European Workshop on Performance Engineering, pp.101-116, 2017.

M. Gribaudo and A. Remke, Hybrid petri nets with general one-shot transitions, Performance Evaluation, vol.105, pp.22-50, 2016.

G. Horton, V. G. Kulkarni, D. M. Nicol, and K. S. Trivedi, Fluid stochastic Petri nets: Theory, applications, and solution techniques, Journal of Operational Research, vol.105, issue.1, pp.184-201, 1998.

J. Hüls, C. Pilch, P. Schinke, J. Delicaris, and A. Remke, State-space construction of Hybrid Petri nets with multiple stochastic firings, 2018.

J. Hüls, S. Schupp, A. Remke, and E. Ábrahám, Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro, 11th Int. Conf. on Performance Evaluation Methodologies and Tools, 2017.

M. R. Jongerden, J. Hüls, A. Remke, and B. R. Haverkort, Does your domestic photovoltaic energy system survive grid outages? Energies, vol.9, p.736, 2016.

A. A. Julius, Approximate Abstraction of Stochastic Hybrid Automata, Int. Conf. on Hybrid Systems: Computation and Control, pp.318-332, 2006.

M. Kwiatkowska, G. Norman, R. Segala, and J. Sproston, Automatic verification of real-time systems with discrete probability distributions, Theoretical Computer Science, vol.282, issue.1, pp.101-150, 2002.

C. , L. Guernic, and A. Girard, Reachability analysis of linear systems using support functions, Nonlinear Analysis: Hybrid Systems, vol.4, pp.250-262, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00765598

O. Maler and D. Nickovic, Monitoring temporal properties of continuous signals, Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, pp.152-166, 2004.

R. E. Moore, R. B. Kearfott, and M. J. Cloud, Introduction to interval analysis, 2009.

C. Pilch and A. Remke, Statistical Model Checking for hybrid Petri nets with multiple general transitions, 47th Int. Conf. on Dependable Systems and Networks, pp.475-486, 2017.

S. Schupp, E. Ábrahám, I. B. Makhlouf, and S. Kowalewski, Hypro: A c++ library of state set representations for hybrid systems reachability analysis, 9th Int. Symp. NASA Formal Methods, pp.288-294, 2017.

S. Zadeh-soudjani and A. Abate, Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes, SIAM Journal on Applied Dynamical Systems, vol.12, issue.2, pp.921-956, 2013.

S. Zadeh-soudjani, C. Gevaerts, and A. Abate, FAUST: Formal Abstractions of Uncountable-STate STochastic Processes, Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, pp.272-286, 2015.

J. Sproston, Decidable model checking of probabilistic hybrid automata, Int. Symp. on Formal Techniques in Real-Time and Fault-Tolerant Systems, pp.31-45, 2000.

T. Teige and M. Fränzle, Constraint-based analysis of probabilistic hybrid systems, IFAC Proceedings Volumes, vol.42, pp.162-167, 2009.

, The CGAL Project. CGAL User and Reference Manual. CGAL Editorial Board, 2017.

L. Zhang, Z. She, S. Ratschan, H. Hermanns, and E. M. Hahn, Safety verification for probabilistic hybrid systems, European Journal of Control, vol.18, issue.6, pp.572-587, 2012.

G. M. Ziegler, Lectures on polytopes, vol.152, 2012.