{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:32:55Z","timestamp":1725492775074},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441571"},{"type":"electronic","value":"9783540457329"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45732-1_27","type":"book-chapter","created":{"date-parts":[[2007,10,10]],"date-time":"2007-10-10T20:38:56Z","timestamp":1192048736000},"page":"273-283","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant"],"prefix":"10.1007","author":[{"given":"Marco","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":"Enrico","family":"Tronci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ester","family":"Ciancamerla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michele","family":"Minichino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,18]]},"reference":[{"issue":"1","key":"27_CR1","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1142\/S0218126698000079","volume":"8","author":"H. Alla","year":"1998","unstructured":"H. Alla and R. David. Continuous and hybrid Petri nets. Journal of Systems Circuits and Computers, 8(1):159\u2013188, Feb 1998.","journal-title":"Journal of Systems Circuits and Computers"},{"key":"27_CR2","unstructured":"M. Allam. Sur l\u2019analyse quantitative des r\u00e9seaux de Petri hybrides: une approche base\u00e9e sur lea automates hybrides. Technical report, Phd Thesis, Institut National Polytechnique de Grenoble (in French), 1998."},{"key":"27_CR3","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1109\/32.489079","volume":"22","author":"R. Alur","year":"1996","unstructured":"R. Alur, T.A. Henzinger, and P.H. Ho. Automatic symbolic verification of embedded systems. IEEE Transaction Software Engineering, 22:181\u2013201, 1996.","journal-title":"IEEE Transaction Software Engineering"},{"key":"27_CR4","unstructured":"A. Bobbio, S. Bologna, E. Ciancamerla, P. Incalcaterra, C. Kropp, M. Minichino, and E. Tronci. Advanced techniques for safety analysis applied to the gas turbine control system of ICARO co-generative plant. In X Convegno Tecnologie e Sistemi Energetici Complessi, pages 339\u2013350, 2001."},{"key":"27_CR5","unstructured":"A. Bobbio and A. Horv\u00e1th. Petri nets with discrete phase timing: A bridge between stochastic and functional analysis. In Second International Workshop on Models for Time-Critical Systems (MTCS 2001), pages 22\u201338, 2001."},{"issue":"2","key":"27_CR6","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"E.M. Clarke, E. A. Emerson, and A.P. Sistla. Automatic verification of finite state concurrent systems using temporal logic specifications: A practical approach. ACM Transactions on Programming Languages and Systems, 8(2):244\u2013263, 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"27_CR7","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/BF00355298","volume":"4","author":"E.A. Emerson","year":"1992","unstructured":"E.A. Emerson, A.K. Mok, A.P. Sistla, and J. Srinivasan. Quantitative Temporal Reasoning. Journal of Real Time Systems, 4:331\u2013352, 1992.","journal-title":"Journal of Real Time Systems"},{"key":"27_CR8","unstructured":"M. Gribaudo. Hybrid formalism for performance evaluation: Theory and applications. Technical report, Phd Thesis, Dipartimento di Informatica, Universit\u00e0 di Torino, 2001."},{"issue":"1","key":"27_CR9","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1023\/A:1008339216603","volume":"11","author":"M. Gribaudo","year":"2001","unstructured":"M. Gribaudo, M. Sereno, A. Horv\u00e1th, and A. Bobbio. Fluid stochastic Petri nets augmented with flush-out arcs: Modelling and analysis. Discrete Event Dynamic Systems, 11(1\/2):97\u2013117, January 2001.","journal-title":"Discrete Event Dynamic Systems"},{"key":"27_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/3-540-60630-0_3","volume-title":"Proceedings 1st Workshop Tools and Algorithms for the Construction and Analysis of Systems \u2014 TACAS","author":"T. A. Henzinger","year":"1995","unstructured":"T. A. Henzinger, P. H. Ho, and H. Wong-Toi. A user guide to HyTech. In Proceedings 1st Workshop Tools and Algorithms for the Construction and Analysis of Systems \u2014 TACAS, pages 41\u201371. Springer Verlag, LNCS Vol 1019-\n                    http:\/\/www.eecs.berkeley.edu\/tah\/HyTech\n                    \n                  , 1995."},{"issue":"1","key":"27_CR11","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1016\/S0377-2217(97)00028-3","volume":"105","author":"G. Horton","year":"1998","unstructured":"G. Horton, V. Kulkarni, D. Nicol, and K. Trivedi. Fluid stochastic Petri nets: Theory, application and solution techniques. European Journal of Operational Research, 105(1):184\u2013201, 1998.","journal-title":"European Journal of Operational Research"},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"A. Horv\u00e1th, M. Gribaudo, and A. Bobbio. From FPN to NuSMV: The temperature control system of the ICARO cogenerative plant. Technical report, Universit\u00e0 del Piemonte Orientale, Feb 2002, \n                    http:\/\/www.di.unipmn.it\n                    \n                  .","DOI":"10.1007\/3-540-45732-1_27"},{"key":"27_CR13","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"T. Murata. Petri nets: properties, analysis and applications. Proceedings of the IEEE, 77:541\u2013580, 1989.","journal-title":"Proceedings of the IEEE"},{"issue":"1\/2","key":"27_CR14","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1023\/A:1008387132533","volume":"11","author":"B. Tuffin","year":"2001","unstructured":"B. Tuffin, D. S. Chen, and K. Trivedi. Comparison of hybrid systems and fluid stochastic Petri nets. Discrete Event Dynamic Systems, 11(1\/2):77\u201395, January 2001.","journal-title":"Discrete Event Dynamic Systems"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability and Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45732-1_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T10:49:47Z","timestamp":1558262987000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45732-1_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441571","9783540457329"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45732-1_27","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"18 September 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}