Publikationen

2021

• Hüls, Jannik, Pilch, Carina, Schinke, Patricia, Niehaus, Henner, Delicaris, Joanna, und Remke, Anne. 2021. „State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.“ ACM Transactions on Modeling and Computer Simulation, Nr. 31 (3): 1–37. doi: 10.1145/3449353.

2019

• Hüls, J, und Remke, A. 2019. „Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes.“ In Formal Techniques for Distributed Objects, Components, and Systems - 39th {IFIP} {WG} 6.1 International Conference, {FORTE} 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings doi: 10.1007/978-3-030-21759-4\_9.
• Jannik, Hüls., Pilch, Carina, Schinke, Patricia, Delicaris, Joanna, und Remke, Anne. 2019. „State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.“ In Quantitative Evaluation of Systems, Bd. 11785 aus LNCS, herausgegeben von David Parker und Verena Wolf. Heidelberg: Springer. doi: 10.1007/978-3-030-30281-8_11.

2018

• Hü}ls, J, und Remke, A. 2018. „A Modular Environment to Test SCADA Solutions for Wind Parks.“ In Measurement, Modelling and Evaluation of Computing Systems - 19th International {GI/ITG} Conference, {MMB} 2018, Erlangen, Germany, February 26-28, 2018, Proceedings doi: 10.1007/978-3-319-74947-1\_18.

2017

• Hüls, J, Schupp, S, Remke, A, und Ábraham, E. 2017. „Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro.“ In Proceedings of the 11th {EAI} International Conference on Performance Evaluation Methodologies and Tools, {VALUETOOLS} 2017, Venice, Italy, December 05-07, 2017 doi: 10.1145/3150928.3150938.