{"title":"An analysis system of IoT services based on agent-oriented Petri net PN2","authors":"S. Yamaguchi, Shoki Tsugawa, Kazuya Nakahori","doi":"10.1109/ICCE-TW.2016.7521031","DOIUrl":null,"url":null,"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.","PeriodicalId":6620,"journal":{"name":"2016 IEEE International Conference on Consumer Electronics-Taiwan (ICCE-TW)","volume":"3 1","pages":"1-2"},"PeriodicalIF":0.0000,"publicationDate":"2016-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"13","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2016 IEEE International Conference on Consumer Electronics-Taiwan (ICCE-TW)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICCE-TW.2016.7521031","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 13
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
