An analysis system of IoT services based on agent-oriented Petri net PN2

Abstract

In this paper, we proposed a system for analysis of IoT services. We regard an IoT service as a multi-agent system, and model it as an agent-oriented Petri net, called Petri nets in a Petri net (PN2 for short). Using the PN2 model, we analyze the IoT service by simulation and model checking. We also implemented the proposed system, and illustrated its usefulness with an application example for smart house.