{"title":"Distributed system modeling with bidirectional Petri nets","authors":"G. Yang","doi":"10.1109/CMPEUR.1992.218401","DOIUrl":null,"url":null,"abstract":"A new tool for modeling systems called bidirectional Petri nets (BPNs) is presented. It increases the degree of abstraction drastically, and makes it possible to model complicated systems concisely. The method uses a two-level system modeling technique. The first level has the responsibility for all basic transmissions, and the second level models the higher-level structure of the whole system. The abstraction process is demonstrated by means of an example. The queue migration algorithm for mutual exclusion in computer networks is chosen as an example.<<ETX>>","PeriodicalId":390273,"journal":{"name":"CompEuro 1992 Proceedings Computer Systems and Software Engineering","volume":"15 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1992-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"CompEuro 1992 Proceedings Computer Systems and Software Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CMPEUR.1992.218401","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 2
Abstract
A new tool for modeling systems called bidirectional Petri nets (BPNs) is presented. It increases the degree of abstraction drastically, and makes it possible to model complicated systems concisely. The method uses a two-level system modeling technique. The first level has the responsibility for all basic transmissions, and the second level models the higher-level structure of the whole system. The abstraction process is demonstrated by means of an example. The queue migration algorithm for mutual exclusion in computer networks is chosen as an example.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
