{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T11:34:12Z","timestamp":1742988852781,"version":"3.40.3"},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319053585"},{"type":"electronic","value":"9783319053592"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-05359-2_18","type":"book-chapter","created":{"date-parts":[[2014,2,14]],"date-time":"2014-02-14T04:50:00Z","timestamp":1392353400000},"page":"255-259","source":"Crossref","is-referenced-by-count":7,"title":["Fluid Survival Tool: A Model Checker for Hybrid Petri Nets"],"prefix":"10.1007","author":[{"given":"Bj\u00f6rn F.","family":"Postema","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anne","family":"Remke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Boudewijn R.","family":"Haverkort","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hamed","family":"Ghasemieh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"Apache Software Foundation: Subversion (2000), http:\/\/subversion.apache.org\/"},{"issue":"3","key":"18_CR2","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1002\/bltj.20178","volume":"11","author":"S.H. Conrad","year":"2006","unstructured":"Conrad, S.H., LeClaire, R.J., O\u2019Reilly, G.P., Uzunalioglu, H.: Critical national infrastructure reliability modeling and analysis. Bell Labs Technical Journal\u00a011(3), 57\u201371 (2006)","journal-title":"Bell Labs Technical Journal"},{"key":"18_CR3","unstructured":"Digia: Qt and Qt Creator (2009), http:\/\/qt-project.org\/"},{"key":"18_CR4","unstructured":"FST Projectpage (2013), https:\/\/code.google.com\/p\/fluid-survival-tool\/"},{"key":"18_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-642-33365-1_11","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"H. Ghasemieh","year":"2012","unstructured":"Ghasemieh, H., Remke, A., Haverkort, B., Gribaudo, M.: Region-based analysis of hybrid petri nets with a single general one-shot transition. In: Jurdzi\u0144ski, M., Ni\u010dkovi\u0107, D. (eds.) FORMATS 2012. LNCS, vol.\u00a07595, pp. 139\u2013154. Springer, Heidelberg (2012)"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Ghasemieh, H., Remke, A., Haverkort, B.R.: Survivability evaluation of fluid critical infrastructure using hybrid Petri nets. In: 19th IEEE Int\u2019l. Symposium PRDC (2013)","DOI":"10.1109\/PRDC.2013.34"},{"key":"18_CR7","unstructured":"Gribaudo, M., Remke, A.: Hybrid Petri nets with general one-shot transitions: model evolution. Technical report, University of Twente (2012), http:\/\/130.89.10.12\/~anne\/pub\/tecrep.pdf"},{"key":"18_CR8","unstructured":"van Heesch, D.: Doxygen (2001), http:\/\/www.stack.nl\/~dimitri\/doxygen\/"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Postema, B.F.: Fluid Survival Tool: A model checker for Hybrid Petri nets. MSc thesis, Department of Computer Science, University of Twente (2013)","DOI":"10.1007\/978-3-319-05359-2_18"}],"container-title":["Lecture Notes in Computer Science","Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-05359-2_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,14]],"date-time":"2020-03-14T21:04:50Z","timestamp":1584219890000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-05359-2_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319053585","9783319053592"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-05359-2_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}