{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:09:16Z","timestamp":1725574156833},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540408031"},{"type":"electronic","value":"9783540452249"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45224-9_171","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T10:09:45Z","timestamp":1294394985000},"page":"1265-1272","source":"Crossref","is-referenced-by-count":0,"title":["A Petri-Net Based Reasoning Procedure for Fault Identification in Sequential Operations"],"prefix":"10.1007","author":[{"given":"Yi-Feng","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chuei-Tin","family":"Chang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"171_CR1","unstructured":"Ramchandani, C.: Analysis of asynchronous concurrent systems by Petri nets. Project MAC, TR-120. M. I. T., Cambridge (1974)"},{"issue":"1","key":"171_CR2","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/S0951-8320(02)00002-9","volume":"76","author":"Y.F. Wang","year":"2002","unstructured":"Wang, Y.F., Wu, J.Y., Chang, C.T.: Automatic Hazard Analysis of Batch Operations with Petri Nets. Reliab. Eng. Syst. Saf.\u00a076(1), 91\u2013104 (2002)","journal-title":"Reliab. Eng. Syst. Saf."},{"issue":"2","key":"171_CR3","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/S0098-1354(02)00193-X","volume":"27","author":"Y.F. Wang","year":"2003","unstructured":"Wang, Y.F., Chang, C.T.: A Hierarchical Approach to Construct Petri Nets for Modeling the Fault Propagation Mechanisms in Sequential Operations. Comput. Chem. Eng.\u00a027(2), 259\u2013280 (2003)","journal-title":"Comput. Chem. Eng."},{"issue":"4","key":"171_CR4","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1021\/i260064a017","volume":"16","author":"J.A. Shaeiwitz","year":"1977","unstructured":"Shaeiwitz, J.A., Lapp, S.A., Powers, G.J.: Fault Tree Analysis of Sequential Systems. Ind. Eng. Chem. Process Des. Dev.\u00a016(4), 529\u2013549 (1977)","journal-title":"Ind. Eng. Chem. Process Des. Dev."}],"container-title":["Lecture Notes in Computer Science","Knowledge-Based Intelligent Information and Engineering Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45224-9_171","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T17:58:28Z","timestamp":1558720708000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45224-9_171"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540408031","9783540452249"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45224-9_171","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}