G. Bruno, A. Castella, R. Agarwal, I. Pavesio, M. P. Pescarmona
{"title":"Using modular Petri nets for developing telecommunication software","authors":"G. Bruno, A. Castella, R. Agarwal, I. Pavesio, M. P. Pescarmona","doi":"10.1109/WPDRTS.1994.365627","DOIUrl":null,"url":null,"abstract":"The development and maintenance of a large software project requires a coherent set of tools and methodologies in order to produce consistent specifications, documentation and code. The application of Petri nets to the modeling of large real world systems has been, up to recent years, hindered by the lack of effective mechanisms for structuring and analyzing net based models in a modular way. On the other hand, the introduction of hierarchical CPN's and of other analogous extensions of High-level Petri nets allows the modeled system to be inspected at varying levels of detail and facilitates re-use of components of the model. This paper presents the evaluation of some of these new methodologies for the development of a real project and the effective use of one of them.<<ETX>>","PeriodicalId":275053,"journal":{"name":"Second Workshop on Parallel and Distributed Real-Time Systems","volume":"126 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1994-04-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Second Workshop on Parallel and Distributed Real-Time Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/WPDRTS.1994.365627","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 2
Abstract
The development and maintenance of a large software project requires a coherent set of tools and methodologies in order to produce consistent specifications, documentation and code. The application of Petri nets to the modeling of large real world systems has been, up to recent years, hindered by the lack of effective mechanisms for structuring and analyzing net based models in a modular way. On the other hand, the introduction of hierarchical CPN's and of other analogous extensions of High-level Petri nets allows the modeled system to be inspected at varying levels of detail and facilitates re-use of components of the model. This paper presents the evaluation of some of these new methodologies for the development of a real project and the effective use of one of them.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
