基于自动机和Petri网的两种诊断工具的比较

2008 9th International Workshop on Discrete Event Systems Pub Date : 2008-05-28 DOI:10.1109/WODES.2008.4605936

S. Lai, D. Nessi, M. P. Cabasino, A. Giua, C. Seatzu

{"title":"基于自动机和Petri网的两种诊断工具的比较","authors":"S. Lai, D. Nessi, M. P. Cabasino, A. Giua, C. Seatzu","doi":"10.1109/WODES.2008.4605936","DOIUrl":null,"url":null,"abstract":"In this paper we consider two diagnosis procedures for discrete event systems based respectively on automata and Petri nets. First we compare them in terms of applicability and generality. Secondly, we apply them to the WODES diagnosis benchmark and compare them in terms of computational complexity. As a result we conclude that the automata procedure is more general, but the Petri net approach presents significant advantages in terms of computational complexity.","PeriodicalId":105225,"journal":{"name":"2008 9th International Workshop on Discrete Event Systems","volume":"184 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2008-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"16","resultStr":"{\"title\":\"A comparison between two diagnostic tools based on automata and Petri nets\",\"authors\":\"S. Lai, D. Nessi, M. P. Cabasino, A. Giua, C. Seatzu\",\"doi\":\"10.1109/WODES.2008.4605936\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper we consider two diagnosis procedures for discrete event systems based respectively on automata and Petri nets. First we compare them in terms of applicability and generality. Secondly, we apply them to the WODES diagnosis benchmark and compare them in terms of computational complexity. As a result we conclude that the automata procedure is more general, but the Petri net approach presents significant advantages in terms of computational complexity.\",\"PeriodicalId\":105225,\"journal\":{\"name\":\"2008 9th International Workshop on Discrete Event Systems\",\"volume\":\"184 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2008-05-28\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"16\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2008 9th International Workshop on Discrete Event Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/WODES.2008.4605936\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2008 9th International Workshop on Discrete Event Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/WODES.2008.4605936","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 16

摘要

本文研究了离散事件系统的两种诊断方法，分别基于自动机和Petri网。首先，我们比较它们的适用性和普遍性。其次，我们将它们应用于WODES诊断基准，并在计算复杂度方面对它们进行比较。因此，我们得出结论，自动机过程更通用，但Petri网方法在计算复杂性方面具有显着优势。

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

查看原文本刊更多论文

A comparison between two diagnostic tools based on automata and Petri nets

In this paper we consider two diagnosis procedures for discrete event systems based respectively on automata and Petri nets. First we compare them in terms of applicability and generality. Secondly, we apply them to the WODES diagnosis benchmark and compare them in terms of computational complexity. As a result we conclude that the automata procedure is more general, but the Petri net approach presents significant advantages in terms of computational complexity.

求助全文

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

来源期刊

2008 9th International Workshop on Discrete Event Systems

自引率

0.00%

发文量