{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:55:36Z","timestamp":1742399736331,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,9,2]]},"DOI":"10.23919\/icac50006.2021.9594258","type":"proceedings-article","created":{"date-parts":[[2021,11,15]],"date-time":"2021-11-15T22:53:16Z","timestamp":1637016796000},"page":"1-7","source":"Crossref","is-referenced-by-count":2,"title":["Performance evaluation of Nuclear Power Plant Injection Systems using PetriNets"],"prefix":"10.23919","author":[{"given":"Kunal","family":"Patidar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Tushar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Madhusmita","family":"Das","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Biju R","family":"Mohan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.net.2019.08.018"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1201\/9781420010855.ch24"},{"article-title":"Petri nets for dynamic event-driven system modeling","year":"2020","author":"wang","key":"ref13"},{"article-title":"A study of petri nets modeling, analysis and simulation","year":"2006","author":"halder","key":"ref14"},{"key":"ref15","first-page":"203","article-title":"Stochastic process algebra and stochastic petri nets","volume":"13","author":"lin","year":"2002","journal-title":"J Software"},{"journal-title":"Component reliability data for use in probabilistic safety assessment","year":"1988","key":"ref16"},{"journal-title":"Development of Quantitative Software Reliability Models for Digital Protection Systems of Nuclear Power Plants","year":"2013","author":"chu","key":"ref17"},{"journal-title":"Component reliability data for use in probabilistic safety assessment","year":"1988","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1002\/qre.2315"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.5772\/18768"},{"key":"ref6","first-page":"35","article-title":"Linear algebraic techniques for the analysis of petri nets","author":"silva","year":"1992","journal-title":"Recent Advances in Mathematical Theory of Systems Control Networks and Signal Processing II"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TIM.2005.855103"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1002\/qre.2340"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2006.07.021"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.2307\/3323574"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1201\/9781315382425"},{"key":"ref9","article-title":"An optimized technique for reliability analysis of safetycritical systems: A case study of nuclear power plant","volume":"35","author":"kumar","year":"2018","journal-title":"Quality and Reliability Engineering International"},{"key":"ref20","first-page":"57","article-title":"A technique for reachability graph generation for the petri net models of parallel processes","volume":"3","author":"ahmad","year":"2009","journal-title":"International Journal of Electrical and Electronics Engineering"},{"key":"ref21","article-title":"Performance evaluation of safety-critical systems of nuclear power plant systems","volume":"52","author":"kumar","year":"2019","journal-title":"Nuclear Engineering And Technology"}],"event":{"name":"2021 26th International Conference on Automation and Computing (ICAC)","start":{"date-parts":[[2021,9,2]]},"location":"Portsmouth, United Kingdom","end":{"date-parts":[[2021,9,4]]}},"container-title":["2021 26th International Conference on Automation and Computing (ICAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9594055\/9594061\/09594258.pdf?arnumber=9594258","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,7]],"date-time":"2022-03-07T21:01:59Z","timestamp":1646686919000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9594258\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,2]]},"references-count":21,"URL":"https:\/\/doi.org\/10.23919\/icac50006.2021.9594258","relation":{},"subject":[],"published":{"date-parts":[[2021,9,2]]}}}