{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T20:36:20Z","timestamp":1794429380264,"version":"4.9.1"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642333644","type":"print"},{"value":"9783642333651","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33365-1_11","type":"book-chapter","created":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T14:27:28Z","timestamp":1346509648000},"page":"139-154","source":"Crossref","is-referenced-by-count":12,"title":["Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition"],"prefix":"10.1007","author":[{"given":"Hamed","family":"Ghasemieh","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Anne","family":"Remke","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Boudewijn","family":"Haverkort","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marco","family":"Gribaudo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T., Yovine, S., Ho, P.H., Nicollin, X., Olivero, A., Sifakis, J.: The algorithmic analysis of hybrid systems. Theoretical Computer Science\u00a0138, 3\u201334 (1995)","journal-title":"Theoretical Computer Science"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","volume":"736","author":"R. Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T.: Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. Hybrid Systems\u00a0736, 209\u2013229 (1993)","journal-title":"Hybrid Systems"},{"issue":"2","key":"11_CR3","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science\u00a0126(2), 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"11_CR4","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0304-3975(94)00228-B","volume":"138","author":"E. Asarin","year":"1995","unstructured":"Asarin, E., Maler, O.: Reachability analysis of dynamical systems having piecewise-constant derivatives. Theoretical Computer Science\u00a0138(1), 35\u201365 (1995)","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"11_CR5","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B. Berthomieu","year":"1991","unstructured":"Berthomieu, B.: Modeling and verification of time dependent systems using time Petri nets. IEEE Transactions on Software Engineering\u00a017(3), 259\u2013273 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"David, R., Alla, H.: Discrete, Continuous, and Hybrid Petri Nets, 2nd edn. Springer (2010)","DOI":"10.1007\/978-3-642-10669-9"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Ghasemieh, H., Remke, A., Haverkort, B., Gribaudo, M.: Region-based analysis of hybrid Petri nets with a single general one-shot transition: extended version. Technical report, University of Twente (2012), \n                    \n                      http:\/\/wwwhome.cs.utwente.nl\/~anne\/techreport\/std.pdf","DOI":"10.1007\/978-3-642-33365-1_11"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Gribaudo, M., Remke, A.: Hybrid Petri Nets with General One-Shot Transitions for Dependability Evaluation of Fluid Critical Infrastructures. In: 2010 IEEE 12th International Symposium on High Assurance Systems Engineering, pp. 84\u201393. IEEE CS Press (November 2010)","DOI":"10.1109\/HASE.2010.27"},{"key":"11_CR9","unstructured":"Gribaudo, M., Remke, A.: Hybrid petri nets with general one-shot transitions: model evolution. Technical report, University of Twente (2010), \n                    \n                      http:\/\/wwwhome.cs.utwente.nl\/~anne\/techreport\/hpng.pdf"},{"key":"11_CR10","unstructured":"Kartson, D., Balbo, G., Donatelli, S., Franceschinis, G., Conte, G.: Modelling with Generalized Stochastic Petri Nets, 1st edn. John Wiley & Sons, Inc. (1994)"},{"issue":"8","key":"11_CR11","doi-asserted-by":"publisher","first-page":"728","DOI":"10.1109\/32.940727","volume":"27","author":"E. Vicario","year":"2001","unstructured":"Vicario, E.: Static analysis and dynamic steering of time-dependent systems. IEEE Transactions on Software Engineering\u00a027(8), 728\u2013748 (2001)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"5","key":"11_CR12","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1109\/TSE.2009.36","volume":"35","author":"E. Vicario","year":"2009","unstructured":"Vicario, E., Sassoli, L., Carnevali, L.: Using stochastic state classes in quantitative evaluation of dense-time reactive systems. IEEE Transactions on Software Engineering\u00a035(5), 703\u2013719 (2009)","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33365-1_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T08:06:08Z","timestamp":1620115568000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33365-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642333644","9783642333651"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33365-1_11","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-642-33365-1","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}