{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T00:10:40Z","timestamp":1760659840309,"version":"build-2065373602"},"reference-count":25,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2003,9,1]],"date-time":"2003-09-01T00:00:00Z","timestamp":1062374400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2003,9,1]],"date-time":"2003-09-01T00:00:00Z","timestamp":1062374400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Reliability Engineering & System Safety"],"published-print":{"date-parts":[[2003,9]]},"DOI":"10.1016\/s0951-8320(03)00089-9","type":"journal-article","created":{"date-parts":[[2003,7,22]],"date-time":"2003-07-22T19:37:54Z","timestamp":1058902674000},"page":"239-257","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":20,"title":["Fluid Petri Nets and hybrid model-checking: a comparative case study"],"prefix":"10.1016","volume":"81","author":[{"given":"M.","family":"Gribaudo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Horv\u00e1th","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Bobbio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Tronci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Ciancamerla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Minichino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0951-8320(03)00089-9_BIB1","doi-asserted-by":"crossref","DOI":"10.1142\/S0218126698000079","article-title":"Continuous and hybrid Petri nets","author":"Alla","year":"1998","journal-title":"J Syst Circuits Comput"},{"key":"10.1016\/S0951-8320(03)00089-9_BIB2","unstructured":"Allam M. Sur l'analyse quantitative des r\u00e9seaux de Petri hybrides: une approche base\u00e9e sur les automates hybrides. Technical report, PhD Thesis. Institut National Polytechnique de Grenoble (in French); 1998."},{"key":"10.1016\/S0951-8320(03)00089-9_BIB3","first-page":"22","article-title":"Automatic symbolic verification of embedded systems","author":"Alur","year":"1996","journal-title":"IEEE Trans Software Engng"},{"key":"10.1016\/S0951-8320(03)00089-9_BIB4","series-title":"LNCS, Springer Verlag","first-page":"358","article-title":"Model checking continuous-time Markov chains by transient analysis","volume":"vol. 1855","author":"Baier","year":"2000"},{"key":"10.1016\/S0951-8320(03)00089-9_BIB5","article-title":"Petri nets with discrete phase timing: a bridge between stochastic and functional analysis","volume":"vol. ENTCS-52","author":"Bobbio","year":"2002"},{"issue":"8","key":"10.1016\/S0951-8320(03)00089-9_BIB6","doi-asserted-by":"crossref","DOI":"10.1109\/TC.1986.1676819","article-title":"Graph-based algorithms for Boolean function manipulation","volume":"C-35","author":"Bryant","year":"1986","journal-title":"IEEE Trans Comput"},{"issue":"25","key":"10.1016\/S0951-8320(03)00089-9_BIB7","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1109\/32.761446","article-title":"Discrete-event simulation of fluid stochastic Petri nets","volume":"2","author":"Ciardo","year":"1999","journal-title":"IEEE Trans Software Engng"},{"issue":"2","key":"10.1016\/S0951-8320(03)00089-9_BIB8","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","article-title":"Automatic verification of finite state concurrent systems using temporal logic specifications: a practical approach","volume":"8","author":"Clarke","year":"1986","journal-title":"ACM Trans Program Languages Syst"},{"key":"10.1016\/S0951-8320(03)00089-9_BIB9","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/BF00355298","article-title":"Quantitative temporal reasoning","volume":"4","author":"Emerson","year":"1992","journal-title":"J Real Time Syst"},{"key":"10.1016\/S0951-8320(03)00089-9_BIB10","unstructured":"Gribaudo M. FSPNEdit: a fluid stochastic Petri net modeling and analysis tool. Technical report, Tools of Aachen\u2014International Multiconfernce on Measurements Modelling and Evaluation of computer Communication Systems\u2014University of Dortmund, Bericht No. 760\/2001; 2001."},{"key":"10.1016\/S0951-8320(03)00089-9_BIB11","unstructured":"Gribaudo M. Hybrid formalism for performance evaluation: theory and applications. Technical report, PhD Thesis, Dipartimento di Informatica, Universit\u00e0 di Torino; 2001."},{"issue":"10","key":"10.1016\/S0951-8320(03)00089-9_BIB12","doi-asserted-by":"crossref","first-page":"944","DOI":"10.1109\/TSE.2002.1041051","article-title":"Fluid stochastic petri nets augmented with flush-out arcs: a transient analysis technique","volume":"28","author":"Gribaudo","year":"2002","journal-title":"IEEE Trans Software Engng"},{"key":"10.1016\/S0951-8320(03)00089-9_BIB13","doi-asserted-by":"crossref","DOI":"10.1109\/MASCOT.2000.876449","article-title":"Simulation of fluid stochastic petri nets","author":"Gribaudo","year":"2000"},{"key":"10.1016\/S0951-8320(03)00089-9_BIB14","first-page":"January","article-title":"Fluid stochastic Petri nets augmented with flush-out arcs: modelling and analysis","author":"Gribaudo","year":"2001","journal-title":"Discrete Event Dynamic Syst"},{"key":"10.1016\/S0951-8320(03)00089-9_BIB15","first-page":"1","article-title":"Hytech: a model checker for hybrid systems","author":"Henzinger","year":"1997","journal-title":"Software Tools Technol Transfer"},{"issue":"1","key":"10.1016\/S0951-8320(03)00089-9_BIB16","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1016\/S0377-2217(97)00028-3","article-title":"Fluid stochastic Petri nets: theory, application and solution techniques","volume":"105","author":"Horton","year":"1998","journal-title":"Eur J Operat Res"},{"key":"10.1016\/S0951-8320(03)00089-9_BIB17","unstructured":"Horv\u00e1th A, Gribaudo M, Bobbio A. From FPN to NuSMV: The temperature control system of the ICARO cogenerative plant. Technical report, Universit\u00e0 del Piemonte Orientale; Feb 2002: http:\/\/www.di.unipmn.it\/Tecnical-R\/TR-INF-2001\/tr-2002-02-02.pdf."},{"key":"10.1016\/S0951-8320(03)00089-9_BIB18","unstructured":"HyTech; http:\/\/www.eecs.berkeley.edu\/~tah\/HyTech.."},{"key":"10.1016\/S0951-8320(03)00089-9_BIB19","doi-asserted-by":"crossref","unstructured":"Kwiatkowska M, Norman G, Parker D. Prism: probabilistic symbolic model checker. In Proceedings TOOLS 2002, vol. 2324; LNCS, Springer Verlag; April 2002.","DOI":"10.1007\/3-540-46029-2_13"},{"key":"10.1016\/S0951-8320(03)00089-9_BIB20","doi-asserted-by":"crossref","unstructured":"Kwiatkowska M, Norman G, Parker D. Probabilistic symbolic model checking with prism: a hybrid approach. In: Proceedings TACAS' 02. vol. 2280, LNCS, Springer Verlag; 2002.","DOI":"10.1007\/3-540-46002-0_5"},{"key":"10.1016\/S0951-8320(03)00089-9_BIB21","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","article-title":"Petri nets: properties, analysis and applications","volume":"77","author":"Murata","year":"1989","journal-title":"Proc IEEE"},{"key":"10.1016\/S0951-8320(03)00089-9_BIB22","unstructured":"PRISM; http:\/\/www.cs.bham.ac.uk\/~dxp\/prism\/."},{"key":"10.1016\/S0951-8320(03)00089-9_BIB23","unstructured":"NuSMV: http:\/\/nusmv.irst.itc.it\/index.html."},{"issue":"1\/2","key":"10.1016\/S0951-8320(03)00089-9_BIB24","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1023\/A:1008387132533","article-title":"Comparison of hybrid systems and fluid stochastic Petri nets","volume":"11","author":"Tuffin","year":"2001","journal-title":"Discrete Event Dynamic Syst"},{"key":"10.1016\/S0951-8320(03)00089-9_BIB25","doi-asserted-by":"crossref","unstructured":"Vittorini V, Franceschinis G, Gribaudo M, Iacono M, Mazzocca N. DrawNet++ model objects to support performance analysis and simulation of complex systems. In Proceedings 12th International Conference on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation (Tools 2002); 2002.","DOI":"10.1007\/3-540-46029-2_18"}],"container-title":["Reliability Engineering & System Safety"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0951832003000899?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0951832003000899?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T06:12:47Z","timestamp":1760595167000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0951832003000899"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,9]]},"references-count":25,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2003,9]]}},"alternative-id":["S0951832003000899"],"URL":"https:\/\/doi.org\/10.1016\/s0951-8320(03)00089-9","relation":{},"ISSN":["0951-8320"],"issn-type":[{"type":"print","value":"0951-8320"}],"subject":[],"published":{"date-parts":[[2003,9]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Fluid Petri Nets and hybrid model-checking: a comparative case study","name":"articletitle","label":"Article Title"},{"value":"Reliability Engineering & System Safety","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S0951-8320(03)00089-9","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2003 Elsevier Ltd. All rights reserved.","name":"copyright","label":"Copyright"}]}}