{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T23:47:43Z","timestamp":1768348063003,"version":"3.49.0"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1109\/icacci.2017.8125877","type":"proceedings-article","created":{"date-parts":[[2017,12,4]],"date-time":"2017-12-04T22:26:11Z","timestamp":1512426371000},"page":"424-430","source":"Crossref","is-referenced-by-count":2,"title":["Design and verification of nuclear waste handling system"],"prefix":"10.1109","author":[{"given":"Shashank","family":"Urade","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amar","family":"Nath","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rajdeep","family":"Niyogi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref31","article-title":"Bpmn formalisation using coloured petri nets","author":"ramadan","year":"2011","journal-title":"Proceedings of the 2nd GSTF Annual International Conference on Software Engineering & Applications (SEA 2011)"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/70.795787"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10489-017-0938-8"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008937911390"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2000.844100"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICAR.1997.620182"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/100.667325"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.ymben.2005.10.001"},{"key":"ref16","author":"jensen","year":"2012","journal-title":"High-Level Petri Nets Theory and Application"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/IC3.2015.7346731"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICIT.2015.11"},{"key":"ref19","first-page":"1375","article-title":"Supervision and diagnosis of joint actions in multi-agent plans","author":"micalizio","year":"2008","journal-title":"Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems-Volume 3 International Foundation for Autonomous Agents and Multiagent Systems"},{"key":"ref28","first-page":"195","article-title":"Maximal clique based distributed group formation for autonomous agent coalitions","author":"tosic","year":"2005","journal-title":"A parametric model for large scale agent systems"},{"key":"ref4","author":"mohan","year":"2016","journal-title":"The future of nuclear energy in india"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/IAT.2004.1342939"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.2967\/jnumed.111.091413"},{"key":"ref6","year":"0","journal-title":"pindanpost"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2006.878948"},{"key":"ref5","article-title":"Nuclear power prevents more deaths than it causes","author":"schrope","year":"2013","journal-title":"Chemical and Engineering News (April 2)"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1613\/jair.740","article-title":"Partial-order planning with concurrent interacting actions","volume":"14","author":"boutilier","year":"2001","journal-title":"Journal of Artificial Intelligence Research"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.5772\/57313"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1126\/science.1115233"},{"key":"ref9","first-page":"1","article-title":"Distributed heuristic forward search for multi-agent systems","author":"brafman","year":"2014","journal-title":"ICAPS DMAP workshop"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.4324\/9781315523972","author":"tietenberg","year":"2016","journal-title":"Environmental and Natural Resource Economics"},{"key":"ref20","first-page":"1760","article-title":"A distributed control loop for autonomous recovery in a multi-agent plan","author":"micalizio","year":"2009","journal-title":"IJCAI"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1980.1675516"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426198"},{"key":"ref24","first-page":"1998","article-title":"Depint: Dependence-based coalition formation in an open multi-agent scenario","volume":"1","author":"sichman","year":"1998","journal-title":"Journal of Artificial Societies and Social Simulation"},{"key":"ref23","first-page":"662","article-title":"Coalition formation among bounded rational agents","author":"sandholm","year":"1995","journal-title":"IJCAI"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s10726-005-3074-5"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1613\/jair.72","article-title":"Mechanisms for automated negotiation in state oriented domains","volume":"5","author":"zlotkin","year":"1996","journal-title":"Journal of Artificial Intelligence Research"}],"event":{"name":"2017 International Conference on Advances in Computing, Communications and Informatics (ICACCI)","location":"Udupi","start":{"date-parts":[[2017,9,13]]},"end":{"date-parts":[[2017,9,16]]}},"container-title":["2017 International Conference on Advances in Computing, Communications and Informatics (ICACCI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8119306\/8125802\/08125877.pdf?arnumber=8125877","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,29]],"date-time":"2023-08-29T17:15:13Z","timestamp":1693329313000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8125877\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/icacci.2017.8125877","relation":{},"subject":[],"published":{"date-parts":[[2017,9]]}}}