Paper Info
Title
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.
Year
DOI
Venue
2016
10.1109/ICCE-TW.2016.7521031
2016 IEEE INTERNATIONAL CONFERENCE ON CONSUMER ELECTRONICS-TAIWAN (ICCE-TW)
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
3
Name
Order
Citations
PageRank
Yamaguchi, S.1127.14
Shoki Tsugawa200.68
Kazuya Nakahori300.68