Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro

Hüls, Jannik (Corresponding author); Schupp, Stefan (Corresponding author); Remke, Anne (Corresponding author); Ábrahám, Erika (Corresponding author)

New York, NY, USA : ACM (2017)
Contribution to a book, Contribution to a conference proceedings

In: Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools : VALUETOOLS 2017 : 5-7 December 2017, Venice, Italy / general co-chairs: Andrea Marin, University of Venice - Ca', Foscari, Italy, Benny Van Houdt, University of Antwerp, Belgium ; technical programme committe chairs: Giuliano Casale, Imperial College London, United Kingdom, Dorina Petriu, Carleton University, Canada, Sabina Rossi, University of Venice - Ca', Foscari, Italy
Page(s)/Article-Nr.: 178-185


  • UnRAVeL Research Training Group [080060]
  • Department of Computer Science [120000]
  • Theory of Hybrid Systems Research Group [123420]