{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:25:05Z","timestamp":1750220705058,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,5,18]],"date-time":"2020-05-18T00:00:00Z","timestamp":1589760000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,5,18]]},"DOI":"10.1145\/3388831.3388842","type":"proceedings-article","created":{"date-parts":[[2020,5,30]],"date-time":"2020-05-30T04:41:41Z","timestamp":1590813701000},"page":"88-95","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Simulating Hybrid Petri nets with general transitions and non-linear differential equations"],"prefix":"10.1145","author":[{"given":"Mathis","family":"Niehage","sequence":"first","affiliation":[{"name":"Westf\u00e4lische Wilhelms-Universit\u00e4t, M\u00fcnster, Germany"}]},{"given":"Carina","family":"Pilch","sequence":"additional","affiliation":[{"name":"Westf\u00e4lische Wilhelms-Universit\u00e4t, M\u00fcnster, Germany"}]},{"given":"Anne","family":"Remke","sequence":"additional","affiliation":[{"name":"Westf\u00e4lische Wilhelms-Universit\u00e4t, M\u00fcnster, Germany"}]}],"member":"320","published-online":{"date-parts":[[2020,5,29]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"ARCH-COMP19 Category Report: Stochastic Modelling. In Int. Workshop on Applied Verification of Continuous and Hybrid Systems","volume":"61","author":"Abate A.","unstructured":"A. Abate , H Blom , N. Cauchi , K. Degiorgio , M. Fr\u00e4nzle , E. M. Hahn , S. Haesaert , H. Ma , M. Oishi , C. Pilch , A. Remke , M-Salamati, S. Soudjani , B. van Huijgevoort , and A. P. Vinod . 2019 . ARCH-COMP19 Category Report: Stochastic Modelling. In Int. Workshop on Applied Verification of Continuous and Hybrid Systems , Vol. 61 . EasyChair, 62--102. A. Abate, H Blom, N. Cauchi, K. Degiorgio, M. Fr\u00e4nzle, E. M. Hahn, S. Haesaert, H. Ma, M. Oishi, C. Pilch, A. Remke, M-Salamati, S. Soudjani, B. van Huijgevoort, and A. P. Vinod. 2019. ARCH-COMP19 Category Report: Stochastic Modelling. In Int. Workshop on Applied Verification of Continuous and Hybrid Systems, Vol. 61. EasyChair, 62--102."},{"key":"e_1_3_2_1_2_1","volume-title":"ARCH-COMP18 Category Report: Stochastic Modelling. In Int. Workshop on Applied Verification of Continuous and Hybrid Systems","volume":"54","author":"Abate A.","unstructured":"A. Abate , H. Blom , N. Cauchi , S. Haesaert , A. Hartmanns , K. Lesser , M. Oishi , V. Sivaramakrishnan , S. Soudjani , C.-I. Vasile , and A. P. Vinod . 2018 . ARCH-COMP18 Category Report: Stochastic Modelling. In Int. Workshop on Applied Verification of Continuous and Hybrid Systems , Vol. 54 . EasyChair, 71--103. A. Abate, H. Blom, N. Cauchi, S. Haesaert, A. Hartmanns, K. Lesser, M. Oishi, V. Sivaramakrishnan, S. Soudjani, C.-I. Vasile, and A. P. Vinod. 2018. ARCH-COMP18 Category Report: Stochastic Modelling. In Int. Workshop on Applied Verification of Continuous and Hybrid Systems, Vol. 54. EasyChair, 71--103."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.16.624-641"},{"key":"e_1_3_2_1_4_1","volume-title":"Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (LNCS)","volume":"10806","author":"Budde C.","unstructured":"C. Budde , P. D'Argenio , A. Hartmanns , and S. Sedwards . 2018. A Statistical Model Checker for Nondeterminism and Rare Events . In Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (LNCS) , Vol. 10806 . Springer, 340--358. C. Budde, P. D'Argenio, A. Hartmanns, and S. Sedwards. 2018. A Statistical Model Checker for Nondeterminism and Rare Events. In Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (LNCS), Vol. 10806. Springer, 340--358."},{"key":"e_1_3_2_1_5_1","volume-title":"European Modeling and Simulation Symposium. CAL-TEK SRL, 545--554","author":"Codetta-Raiteri D.","year":"2011","unstructured":"D. Codetta-Raiteri . 2011 . Modelling and simulating a benchmark on dynamic reliability as a Stochastic Activity Network . In European Modeling and Simulation Symposium. CAL-TEK SRL, 545--554 . D. Codetta-Raiteri. 2011. Modelling and simulating a benchmark on dynamic reliability as a Stochastic Activity Network. In European Modeling and Simulation Symposium. CAL-TEK SRL, 545--554."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0361-y"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1041052"},{"volume-title":"Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems. In Int. Conf. on Quantitative Evaluation of Systems. Springer, 351--367","author":"Esmaeil Zadeh Soudjani S.","key":"e_1_3_2_1_8_1","unstructured":"S. Esmaeil Zadeh Soudjani , R. Majumdar , and R. Nagapetyan . 2017 . Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems. In Int. Conf. on Quantitative Evaluation of Systems. Springer, 351--367 . S. Esmaeil Zadeh Soudjani, R. Majumdar, and R. Nagapetyan. 2017. Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems. In Int. Conf. on Quantitative Evaluation of Systems. Springer, 351--367."},{"volume-title":"Measurability and Safety Verification for Stochastic Hybrid Systems. In Int. Workshop on Hybrid Systems: Computation and Control. ACM, 43--52","author":"Fr\u00e4nzle M.","key":"e_1_3_2_1_10_1","unstructured":"M. Fr\u00e4nzle , E. M. Hahn , H. Hermanns , N. Wolovick , and L. Zhang . 2011 . Measurability and Safety Verification for Stochastic Hybrid Systems. In Int. Workshop on Hybrid Systems: Computation and Control. ACM, 43--52 . M. Fr\u00e4nzle, E. M. Hahn, H. Hermanns, N. Wolovick, and L. Zhang. 2011. Measurability and Safety Verification for Stochastic Hybrid Systems. In Int. Workshop on Hybrid Systems: Computation and Control. ACM, 43--52."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2016.09.002"},{"key":"e_1_3_2_1_13_1","volume-title":"The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification. In Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (LNCS)","volume":"8413","author":"Hartmanns A.","unstructured":"A. Hartmanns and H. Hermanns . 2014 . The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification. In Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (LNCS) , Vol. 8413 . Springer, 593--598. A. Hartmanns and H. Hermanns. 2014. The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification. In Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (LNCS), Vol. 8413. Springer, 593--598."},{"key":"e_1_3_2_1_14_1","volume-title":"Recharging Probably Keeps Batteries Alive. In Int. Workshop on Cyber Physical Systems. Design, Modeling, and Evaluation (LNCS)","volume":"9361","author":"Hermanns H.","unstructured":"H. Hermanns , J. Kr\u010d\u00e1l , and G. Nies . 2015 . Recharging Probably Keeps Batteries Alive. In Int. Workshop on Cyber Physical Systems. Design, Modeling, and Evaluation (LNCS) , Vol. 9361 . Springer, 83--98. H. Hermanns, J. Kr\u010d\u00e1l, and G. Nies. 2015. Recharging Probably Keeps Batteries Alive. In Int. Workshop on Cyber Physical Systems. Design, Modeling, and Evaluation (LNCS), Vol. 9361. Springer, 83--98."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46430-1_16"},{"key":"e_1_3_2_1_16_1","volume-title":"State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings. In Int. Conf. on Quantitative Evaluation of Systems (LNCS)","volume":"11785","author":"H\u00fcls J.","unstructured":"J. H\u00fcls , C. Pilch , P. Schinke , J. Delicaris , and A. Remke . 2019 . State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings. In Int. Conf. on Quantitative Evaluation of Systems (LNCS) , Vol. 11785 . Springer, 182--199. J. H\u00fcls, C. Pilch, P. Schinke, J. Delicaris, and A. Remke. 2019. State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings. In Int. Conf. on Quantitative Evaluation of Systems (LNCS), Vol. 11785. Springer, 182--199."},{"key":"e_1_3_2_1_17_1","volume-title":"Int. Conf. on Formal Techniques for Distributed Objects, Components, and Systems (LNCS)","volume":"11535","author":"H\u00fcls J.","unstructured":"J. H\u00fcls and A. Remke . 2019. Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes . In Int. Conf. on Formal Techniques for Distributed Objects, Components, and Systems (LNCS) , Vol. 11535 . Springer, 148--166. J. H\u00fcls and A. Remke. 2019. Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes. In Int. Conf. on Formal Techniques for Distributed Objects, Components, and Systems (LNCS), Vol. 11535. Springer, 148--166."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"J. H\u00fcls S. Schupp A. Remke and E. \u00c1brah\u00e1m. 2017. Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro. In EAI Int. Con. on Performance Evaluation Methodologies and Tools. ACM 178--185.  J. H\u00fcls S. Schupp A. Remke and E. \u00c1brah\u00e1m. 2017. Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro. In EAI Int. Con. on Performance Evaluation Methodologies and Tools. ACM 178--185.","DOI":"10.1145\/3150928.3150938"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1049\/iet-sen.2009.0001"},{"key":"e_1_3_2_1_20_1","volume-title":"Approximate Abstraction of Stochastic Hybrid Automata. In Int. Workshop on Hybrid Systems: Computation and Control (LNCS)","volume":"3927","author":"Julius A. A.","year":"2006","unstructured":"A. A. Julius . 2006 . Approximate Abstraction of Stochastic Hybrid Automata. In Int. Workshop on Hybrid Systems: Computation and Control (LNCS) , Vol. 3927 . Springer, 318--332. A. A. Julius. 2006. Approximate Abstraction of Stochastic Hybrid Automata. In Int. Workshop on Hybrid Systems: Computation and Control (LNCS), Vol. 3927. Springer, 318--332."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1177\/0037549702078002206"},{"key":"e_1_3_2_1_22_1","first-page":"435","article-title":"Beitrag zur n\u00e4herungsweisen Integration totaler Differentialgleichungen","volume":"46","author":"Kutta W.","year":"1901","unstructured":"W. Kutta . 1901 . Beitrag zur n\u00e4herungsweisen Integration totaler Differentialgleichungen . Zeitschrift f\u00fcr Mathematik und Physik 46 (1901), 435 -- 453 . W. Kutta. 1901. Beitrag zur n\u00e4herungsweisen Integration totaler Differentialgleichungen. Zeitschrift f\u00fcr Mathematik und Physik 46 (1901), 435--453.","journal-title":"Zeitschrift f\u00fcr Mathematik und Physik"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3150928.3150956"},{"volume-title":"IEEE Int. Symp. on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems. IEEE, 157--169","author":"Pilch C.","key":"e_1_3_2_1_24_1","unstructured":"C. Pilch , M. Niehage , and A. Remke . 2018. HPnGs go Non-Linear: Statistical Dependability Evaluation of Battery-Powered Systems . In IEEE Int. Symp. on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems. IEEE, 157--169 . C. Pilch, M. Niehage, and A. Remke. 2018. HPnGs go Non-Linear: Statistical Dependability Evaluation of Battery-Powered Systems. In IEEE Int. Symp. on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems. IEEE, 157--169."},{"volume-title":"Statistical Model Checking for Hybrid Petri Nets with Multiple General Transitions. In IEEE\/IFIP Int. Conf. on Dependable Systems and Networks. IEEE, 475--486","author":"Pilch C.","key":"e_1_3_2_1_25_1","unstructured":"C. Pilch and A. Remke . 2017 . Statistical Model Checking for Hybrid Petri Nets with Multiple General Transitions. In IEEE\/IFIP Int. Conf. on Dependable Systems and Networks. IEEE, 475--486 . C. Pilch and A. Remke. 2017. Statistical Model Checking for Hybrid Petri Nets with Multiple General Transitions. In IEEE\/IFIP Int. Conf. on Dependable Systems and Networks. IEEE, 475--486."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01446807"},{"key":"e_1_3_2_1_27_1","volume-title":"Acumen: An open-source testbed for cyber-physical systems research. In Int. Internet of Things Summit (LNICST)","author":"Taha W.","year":"2015","unstructured":"W. Taha , A. Duracz , Y. Zeng , K. Atkinson , F. Bartha , P. Brauner , J. Duracz , F. Xu , R. Cartwright , M. Kone\u010dny , 2015 . Acumen: An open-source testbed for cyber-physical systems research. In Int. Internet of Things Summit (LNICST) , Vol. 169 . Springer , 118--130. W. Taha, A. Duracz, Y. Zeng, K. Atkinson, F. Bartha, P. Brauner, J. Duracz, F. Xu, R. Cartwright, M. Kone\u010dny, et al. 2015. Acumen: An open-source testbed for cyber-physical systems research. In Int. Internet of Things Summit (LNICST), Vol. 169. Springer, 118--130."},{"key":"e_1_3_2_1_28_1","volume-title":"Scalable Underapproximative Verification of Stochastic LTI Systems Using Convexity and Compactness. In Int. Workshop on Hybrid Systems: Computation and Control. ACM, 1--10","author":"Vinod A. P.","year":"2018","unstructured":"A. P. Vinod and M. M. K. Oishi . 2018 . Scalable Underapproximative Verification of Stochastic LTI Systems Using Convexity and Compactness. In Int. Workshop on Hybrid Systems: Computation and Control. ACM, 1--10 . A. P. Vinod and M. M. K. Oishi. 2018. Scalable Underapproximative Verification of Stochastic LTI Systems Using Convexity and Compactness. In Int. Workshop on Hybrid Systems: Computation and Control. ACM, 1--10."},{"volume-title":"Int. Conf. on Hybrid Systems: Computation and Control. ACM, 217--225","author":"Zuliani P.","key":"e_1_3_2_1_29_1","unstructured":"P. Zuliani , C. Baier , and E. M. Clarke . 2012. Rare-event verification for stochastic hybrid systems . In Int. Conf. on Hybrid Systems: Computation and Control. ACM, 217--225 . P. Zuliani, C. Baier, and E. M. Clarke. 2012. Rare-event verification for stochastic hybrid systems. In Int. Conf. on Hybrid Systems: Computation and Control. ACM, 217--225."}],"event":{"name":"VALUETOOLS '20: 13th EAI International Conference on Performance Evaluation Methodologies and Tools","sponsor":["EAI The European Alliance for Innovation"],"location":"Tsukuba Japan","acronym":"VALUETOOLS '20"},"container-title":["Proceedings of the 13th EAI International Conference on Performance Evaluation Methodologies and Tools"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3388831.3388842","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3388831.3388842","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:33:01Z","timestamp":1750199581000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3388831.3388842"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,5,18]]},"references-count":27,"alternative-id":["10.1145\/3388831.3388842","10.1145\/3388831"],"URL":"https:\/\/doi.org\/10.1145\/3388831.3388842","relation":{},"subject":[],"published":{"date-parts":[[2020,5,18]]},"assertion":[{"value":"2020-05-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}