libFAUDES -一个面向离散事件系统的开源c++库

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

T. Moor, K. Schmidt, S. Perk

{"title":"libFAUDES -一个面向离散事件系统的开源c++库","authors":"T. Moor, K. Schmidt, S. Perk","doi":"10.1109/WODES.2008.4605933","DOIUrl":null,"url":null,"abstract":"The libFAUDES (Friedrich-Alexander University Discrete Event Systems) library is an open source C++ software library for discrete event systems (DES) that is developed at the University of Erlangen-Nuremberg. The core library supports methods for the DES analysis and supervisor synthesis, while a built-in plugin mechanism allows of specialized library extensions. In this paper, we evaluate libFAUDES according to the benchmark examples provided for the Workshop on Discrete Event Systems 2008.","PeriodicalId":105225,"journal":{"name":"2008 9th International Workshop on Discrete Event Systems","volume":"32 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2008-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"27","resultStr":"{\"title\":\"libFAUDES — An open source C++ library for discrete event systems\",\"authors\":\"T. Moor, K. Schmidt, S. Perk\",\"doi\":\"10.1109/WODES.2008.4605933\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The libFAUDES (Friedrich-Alexander University Discrete Event Systems) library is an open source C++ software library for discrete event systems (DES) that is developed at the University of Erlangen-Nuremberg. The core library supports methods for the DES analysis and supervisor synthesis, while a built-in plugin mechanism allows of specialized library extensions. In this paper, we evaluate libFAUDES according to the benchmark examples provided for the Workshop on Discrete Event Systems 2008.\",\"PeriodicalId\":105225,\"journal\":{\"name\":\"2008 9th International Workshop on Discrete Event Systems\",\"volume\":\"32 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2008-05-28\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"27\",\"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.4605933\",\"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.4605933","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 27

摘要

libFAUDES(弗里德里希-亚历山大大学离散事件系统)库是一个用于离散事件系统(DES)的开源c++软件库，由埃尔兰根-纽伦堡大学开发。核心库支持用于DES分析和监督程序合成的方法，而内置的插件机制允许专门的库扩展。在本文中，我们根据离散事件系统研讨会2008提供的基准示例来评估libFAUDES。

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

查看原文本刊更多论文

libFAUDES — An open source C++ library for discrete event systems

The libFAUDES (Friedrich-Alexander University Discrete Event Systems) library is an open source C++ software library for discrete event systems (DES) that is developed at the University of Erlangen-Nuremberg. The core library supports methods for the DES analysis and supervisor synthesis, while a built-in plugin mechanism allows of specialized library extensions. In this paper, we evaluate libFAUDES according to the benchmark examples provided for the Workshop on Discrete Event Systems 2008.

求助全文

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

来源期刊

2008 9th International Workshop on Discrete Event Systems

自引率

0.00%

发文量