{'fraction_non_alphanumeric': 0.025806451612903226, 'fraction_numerical': 0.0, 'mean_word_length': 5.125, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Design and verification of nuclear waste handling system

Recently, we are shifting towards the green production of energy as fossil energy production has great environmental consequences. The previous study shows that energy production from nuclear is safer than the energy production from fossilfuels sources. The fossil-fuels energy production leads to more greenhouse gases emissions which are very dangerous to health. However, there are some issues even with nuclear energy production, e.g., handling the dangerous nuclear waste that is produced continuously, security of nuclear plant, radioactive accident, and nuclear proliferation and many more. For the safety of human being, robots can be applied to barrel the nuclear wastes. In this paper, we proposed distributed algorithm to barrel the nuclear waste by a team of robots. Furthermore, the system is verified with the help of state-of-the-art Colored Petri-net tool.