{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:32:02Z","timestamp":1761489122314},"publisher-location":"London","reference-count":8,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199625"},{"type":"electronic","value":"9781447130543"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3054-3_7","type":"book-chapter","created":{"date-parts":[[2013,4,8]],"date-time":"2013-04-08T23:33:23Z","timestamp":1365464003000},"page":"90-100","source":"Crossref","is-referenced-by-count":10,"title":["Modeling Fault Trees Using Petri Nets"],"prefix":"10.1007","author":[{"given":"Janusz","family":"G\u00f3rski","sequence":"first","affiliation":[]},{"given":"Jan","family":"Magott","sequence":"additional","affiliation":[]},{"given":"Andrzej","family":"Wardzi\u0144ski","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","volume-title":"Towards A Common Safety Description Model","author":"RE Bloomfield","year":"1991","unstructured":"R. E. Bloomfield, J. H. Cheng, J. G\u00f3rski, Towards A Common Safety Description Model, Proceedings of Safecomp\u201991, Pergamon Press, 1991"},{"key":"7_CR2","volume-title":"A State Enumeration approach for analyzing time Petri Nets","author":"B Berthomieu","year":"1982","unstructured":"B. Berthomieu, M. Menashe, A State Enumeration approach for analyzing time Petri Nets, Proceedings of 3rd European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, Sept. 1982"},{"key":"7_CR3","volume-title":"Technology and Assessment of Safety Critical Systems","author":"J G\u00f3rski","year":"1994","unstructured":"J. G\u00f3rski, Extending Safety Analysis Techniques With Formal Semantics, In Technology and Assessment of Safety Critical Systems, (F.J. Redmill and T. Anderson, Eds.), Springer-Verlag, 1994"},{"key":"7_CR4","volume-title":"Formalizing Fault Trees","author":"J G\u00f3rski","year":"1995","unstructured":"J. G\u00f3rski, A. Wardzi\u0144ski, Formalizing Fault Trees, Proceedings of SCSS\u201995, Brighton, UK, (F.J. Redmill and T. Anderson, Eds.), Springer-Verlag, 1995"},{"issue":"3","key":"7_CR5","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1109\/TSE.1987.233170","volume":"13","author":"NG Leveson","year":"1987","unstructured":"N. G. Leveson, J. L. Stolzy, Safety Analysis Using Petri Nets, IEEE Transactions on Software Engineering, Vol. 13, No.3, March 1987, pp. 386\u2013397","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"9","key":"7_CR6","doi-asserted-by":"publisher","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","volume":"24","author":"P Merlin","year":"1976","unstructured":"P. Merlin, D. J. Farber, Recoverability of Communication Protocols - Implications of a Theoretical Study, IEEE Transactions on Communications, Vol. 24, No. 9, Sept. 1976, pp. 1036\u20131043","journal-title":"IEEE Transactions on Communications"},{"key":"7_CR7","first-page":"290","volume-title":"Software Safety Analysis in Heterogenous Multiprocessor Control System","author":"TJ Shimeall","year":"1991","unstructured":"T. J. Shimeall, R. J. McGraw, Jr., J. A. Gill, Software Safety Analysis in Heterogenous Multiprocessor Control System, Proceedings of IEEE Annual Reliability and Maintainability Symposiom, 1991, pp. 290\u2013294"},{"key":"7_CR8","volume-title":"Fault Tree Handbook","author":"WE Vesely","year":"1981","unstructured":"W. E. Vesely et el., Fault Tree Handbook, Nureg 0492, US Nuclear Regulatory Commission, 1981"}],"container-title":["Safe Comp 95"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3054-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,20]],"date-time":"2019-01-20T09:20:46Z","timestamp":1547976046000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3054-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199625","9781447130543"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3054-3_7","relation":{},"subject":[],"published":{"date-parts":[[1995]]}}}