基于面向agent的Petri网PN2的物联网服务分析系统

2016 IEEE International Conference on Consumer Electronics-Taiwan (ICCE-TW) Pub Date : 2016-05-27 DOI:10.1109/ICCE-TW.2016.7521031

S. Yamaguchi, Shoki Tsugawa, Kazuya Nakahori

{"title":"基于面向agent的Petri网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":"{\"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}","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

摘要

在本文中，我们提出了一个物联网服务分析系统。我们将物联网服务视为一个多智能体系统，并将其建模为面向智能体的Petri网，称为Petri网中的Petri网(简称PN2)。采用PN2模型，通过仿真和模型检验对物联网服务进行分析。我们还实现了提出的系统，并通过智能住宅的应用实例说明了它的实用性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

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

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2016 IEEE International Conference on Consumer Electronics-Taiwan (ICCE-TW)

自引率

0.00%

发文量