2016 · 15 citations · 4 references
EngineeringInformation SystemsSystems EngineeringInternet Of ThingsModel-based Systems EngineeringSystems ModelingAgent-based ModelingIot ArchitecturePetri NetsService-oriented ArchitecturePetri Net AnalysisPetri Net Model CheckingPetri Net ModelsPetri Net Simulation
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.
4