CPN-AMI 3的新特性:专注于复杂分布式系统的分析

Sixth International Conference on Application of Concurrency to System Design (ACSD'06) Pub Date : 2006-06-28 DOI:10.1109/ACSD.2006.15

Alexandre Hamez, L. Hillah, F. Kordon, Alban Linard, E. Paviot-Adet, X. Renault, Y. Thierry-Mieg

{"title":"CPN-AMI 3的新特性:专注于复杂分布式系统的分析","authors":"Alexandre Hamez, L. Hillah, F. Kordon, Alban Linard, E. Paviot-Adet, X. Renault, Y. Thierry-Mieg","doi":"10.1109/ACSD.2006.15","DOIUrl":null,"url":null,"abstract":"Due to the state-space size explosion problem, behavioral analysis techniques are difficult to scale up to industrial size problems. Our group couples research on analysis tools with an introspection on modeling and software engineering techniques. CPN-AMI is an integrated development and analysis environment dedicated to Petri nets. The numerous services it offers are built by a homogeneous integration of tools developed internally, and third-party tools from partner universities. These tools include state of the art algorithms and data-structures. This third major release offers better support for modeling and analysis of very large systems","PeriodicalId":282333,"journal":{"name":"Sixth International Conference on Application of Concurrency to System Design (ACSD'06)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2006-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"40","resultStr":"{\"title\":\"New features in CPN-AMI 3: focusing on the analysis of complex distributed systems\",\"authors\":\"Alexandre Hamez, L. Hillah, F. Kordon, Alban Linard, E. Paviot-Adet, X. Renault, Y. Thierry-Mieg\",\"doi\":\"10.1109/ACSD.2006.15\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Due to the state-space size explosion problem, behavioral analysis techniques are difficult to scale up to industrial size problems. Our group couples research on analysis tools with an introspection on modeling and software engineering techniques. CPN-AMI is an integrated development and analysis environment dedicated to Petri nets. The numerous services it offers are built by a homogeneous integration of tools developed internally, and third-party tools from partner universities. These tools include state of the art algorithms and data-structures. This third major release offers better support for modeling and analysis of very large systems\",\"PeriodicalId\":282333,\"journal\":{\"name\":\"Sixth International Conference on Application of Concurrency to System Design (ACSD'06)\",\"volume\":\"9 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2006-06-28\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"40\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Sixth International Conference on Application of Concurrency to System Design (ACSD'06)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ACSD.2006.15\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Sixth International Conference on Application of Concurrency to System Design (ACSD'06)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ACSD.2006.15","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 40

摘要

由于状态空间尺寸爆炸问题，行为分析技术很难扩展到工业规模问题。我们的小组将分析工具的研究与对建模和软件工程技术的反思结合起来。CPN-AMI是一个专用于Petri网的集成开发和分析环境。它提供的众多服务是由内部开发的工具和来自合作大学的第三方工具的同质集成构建的。这些工具包括最先进的算法和数据结构。第三个主要版本为非常大的系统的建模和分析提供了更好的支持

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

查看原文本刊更多论文

New features in CPN-AMI 3: focusing on the analysis of complex distributed systems

Due to the state-space size explosion problem, behavioral analysis techniques are difficult to scale up to industrial size problems. Our group couples research on analysis tools with an introspection on modeling and software engineering techniques. CPN-AMI is an integrated development and analysis environment dedicated to Petri nets. The numerous services it offers are built by a homogeneous integration of tools developed internally, and third-party tools from partner universities. These tools include state of the art algorithms and data-structures. This third major release offers better support for modeling and analysis of very large systems

求助全文

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

来源期刊

Sixth International Conference on Application of Concurrency to System Design (ACSD'06)

自引率

0.00%

发文量