{'fraction_non_alphanumeric': 0.014388489208633094, 'fraction_numerical': 0.0035971223021582736, 'mean_word_length': 4.641891891891892, '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}}
On analysis of substitutability for system resilience in IoT system based on PN2

We focus on a property to deal with system resilience in the Internet of Things system called substitutability. It is important to ensure that production line failure is avoided. Substitutability is a property of a machine or device to operate instead of another machine or device. In this paper, we modeled IoT by PN2 (Petri nets in a Petri net). We formalized substi-tutability problem and proposed a formal analysis method for the problem. We illustrate the analysis with a substitutable and non-substitutable example of a drone worker in a smart warehouse. The effectiveness is shown as the accuracy to equate the difference of behavior in agent substitutions and to reduce the range of state space analysis of the whole PN2 to only the agent nets.