{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:47:13Z","timestamp":1750308433090,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T00:00:00Z","timestamp":1587513600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NWO VENI","award":["639.021.754"],"award-info":[{"award-number":["639.021.754"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,4,22]]},"DOI":"10.1145\/3365365.3382198","type":"proceedings-article","created":{"date-parts":[[2020,5,4]],"date-time":"2020-05-04T07:48:38Z","timestamp":1588578518000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings"],"prefix":"10.1145","author":[{"given":"Carina","family":"Pilch","sequence":"first","affiliation":[{"name":"Westf\u00e4lische Wilhelms-Universit\u00e4t, M\u00fcnster, Germany"}]},{"given":"Arnd","family":"Hartmanns","sequence":"additional","affiliation":[{"name":"University of Twente, Enschede, The Netherlands"}]},{"given":"Anne","family":"Remke","sequence":"additional","affiliation":[{"name":"Westf\u00e4lische Wilhelms-Universit\u00e4t, M\u00fcnster, Germany"}]}],"member":"320","published-online":{"date-parts":[[2020,4,22]]},"reference":[{"volume-title":"Modelling with Generalized Stochastic Petri Nets (1 ed.)","author":"Marsan Marco Ajmone","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000079"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-247X(65)90154-X"},{"volume-title":"D'Argenio","year":"2004","author":"Bravetti Mario","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89366-2_21"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2005.07.001"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38697-8_6"},{"volume-title":"On Probabilistic Automata in Continuous Time. In 25th Annual IEEE Symposium on Logic in Computer Science (LICS). IEEE, 342--351","year":"2010","author":"Eisentraut Christian","key":"e_1_3_2_1_8_1"},{"volume-title":"Multi-Objective Model Checking of Markov Decision Processes. Logical Methods in Computer Science 4, 4","year":"2008","author":"Etessami Kousha","key":"e_1_3_2_1_9_1"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2008.4605979"},{"volume-title":"Measurability and Safety Verification for Stochastic Hybrid Systems. In 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC","year":"2011","author":"Fr\u00e4nzle Martin","key":"e_1_3_2_1_11_1"},{"volume-title":"Energy Resilience Modelling for Smart Houses. In 45th IEEE\/IFIP International Conference on Dependable Systems and Networks, DSN","year":"2015","author":"Ghasemieh Hamed","key":"e_1_3_2_1_12_1"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2015.11.004"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2013.07.017"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2016.09.002"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-012-0167-z"},{"volume-title":"Schedulers are no Prophets","author":"Hartmanns Arnd","key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-27810-0_11"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1287\/moor.9.2.276"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0377-2217(97)00028-3"},{"key":"e_1_3_2_1_20_1","volume-title":"State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings. In 16th International Conference on Quantitative Evaluation of Systems, QEST 2019 (LNCS)","volume":"11785","author":"H\u00fcls Jannik","year":"2019"},{"volume-title":"19th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019 (LNCS)","author":"H\u00fcls Jannik","key":"e_1_3_2_1_21_1"},{"volume-title":"Kristensen","year":"2009","author":"Jensen Kurt","key":"e_1_3_2_1_22_1"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.3390\/en9090736"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/0021-9991(78)90004-9"},{"volume-title":"16th National Conference on Artificial Intelligence and 11th Conference on Innovative Applications of Artificial Intelligence, AAAI '99\/IAAI '99","year":"1999","author":"Madani Omid","key":"e_1_3_2_1_25_1"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2017.41"}],"event":{"name":"HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Sydney New South Wales Australia","acronym":"HSCC '20"},"container-title":["Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3365365.3382198","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3365365.3382198","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:49:48Z","timestamp":1750268988000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3365365.3382198"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,4,22]]},"references-count":26,"alternative-id":["10.1145\/3365365.3382198","10.1145\/3365365"],"URL":"https:\/\/doi.org\/10.1145\/3365365.3382198","relation":{},"subject":[],"published":{"date-parts":[[2020,4,22]]},"assertion":[{"value":"2020-04-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}