{"title":"用于设计、模拟、验证和综合协议的交互式工具","authors":"D. Chao, David T. Wang","doi":"10.1109/MASCOT.1994.284395","DOIUrl":null,"url":null,"abstract":"A user-friendly CAD graphical tool, running on Sun workstations, has been designed for the design, verification, simulation, and synthesis of protocols based on an interactive tool for Petri net and state diagram designs. Special features of this tool are: capability of modelling of both control and data flows, reduction and analysis, simulation of network behavior and performance, coding (parameterized protocols and automatic implementation) synthesis (two party protocol and ordinary Petri nets), animation and flexible design. Since it is Petri net based it allows simulation during all design phases and has extensive applications such as parallel debugging and simulation, expert systems, etc. Future enhancements of this tool are also discussed.<<ETX>>","PeriodicalId":288344,"journal":{"name":"Proceedings of International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems","volume":"81 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1994-01-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"20","resultStr":"{\"title\":\"An interactive tool for design, simulation, verification, and synthesis of protocols\",\"authors\":\"D. Chao, David T. Wang\",\"doi\":\"10.1109/MASCOT.1994.284395\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A user-friendly CAD graphical tool, running on Sun workstations, has been designed for the design, verification, simulation, and synthesis of protocols based on an interactive tool for Petri net and state diagram designs. Special features of this tool are: capability of modelling of both control and data flows, reduction and analysis, simulation of network behavior and performance, coding (parameterized protocols and automatic implementation) synthesis (two party protocol and ordinary Petri nets), animation and flexible design. Since it is Petri net based it allows simulation during all design phases and has extensive applications such as parallel debugging and simulation, expert systems, etc. Future enhancements of this tool are also discussed.<<ETX>>\",\"PeriodicalId\":288344,\"journal\":{\"name\":\"Proceedings of International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems\",\"volume\":\"81 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1994-01-31\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"20\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/MASCOT.1994.284395\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/MASCOT.1994.284395","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
An interactive tool for design, simulation, verification, and synthesis of protocols
A user-friendly CAD graphical tool, running on Sun workstations, has been designed for the design, verification, simulation, and synthesis of protocols based on an interactive tool for Petri net and state diagram designs. Special features of this tool are: capability of modelling of both control and data flows, reduction and analysis, simulation of network behavior and performance, coding (parameterized protocols and automatic implementation) synthesis (two party protocol and ordinary Petri nets), animation and flexible design. Since it is Petri net based it allows simulation during all design phases and has extensive applications such as parallel debugging and simulation, expert systems, etc. Future enhancements of this tool are also discussed.<>
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
