{"title":"系统级设计的建模方面","authors":"F. Rammig","doi":"10.1109/EURDAC.1993.410688","DOIUrl":null,"url":null,"abstract":"The necessity for a common modeling approach for heterogeneous systems is discussed. As an example for such a modeling technique, extended predicate/transition nets (Pr/T-Nets) are introduced. These nets can combine modeling in a declarative way by means of first order logic with an operational interpretation inherited from Petri nets. The added concepts of hierarchy and recursion allow the description of extremely complex systems. Three applications of Pr/T-Nets are shown: control of complex design systems, timing analysis, and the implementation of communication protocols.<<ETX>>","PeriodicalId":339176,"journal":{"name":"Proceedings of EURO-DAC 93 and EURO-VHDL 93- European Design Automation Conference","volume":"37 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1993-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"Modelling aspects of system level design\",\"authors\":\"F. Rammig\",\"doi\":\"10.1109/EURDAC.1993.410688\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The necessity for a common modeling approach for heterogeneous systems is discussed. As an example for such a modeling technique, extended predicate/transition nets (Pr/T-Nets) are introduced. These nets can combine modeling in a declarative way by means of first order logic with an operational interpretation inherited from Petri nets. The added concepts of hierarchy and recursion allow the description of extremely complex systems. Three applications of Pr/T-Nets are shown: control of complex design systems, timing analysis, and the implementation of communication protocols.<<ETX>>\",\"PeriodicalId\":339176,\"journal\":{\"name\":\"Proceedings of EURO-DAC 93 and EURO-VHDL 93- European Design Automation Conference\",\"volume\":\"37 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1993-09-20\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of EURO-DAC 93 and EURO-VHDL 93- European Design Automation Conference\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/EURDAC.1993.410688\",\"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 EURO-DAC 93 and EURO-VHDL 93- European Design Automation Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/EURDAC.1993.410688","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
The necessity for a common modeling approach for heterogeneous systems is discussed. As an example for such a modeling technique, extended predicate/transition nets (Pr/T-Nets) are introduced. These nets can combine modeling in a declarative way by means of first order logic with an operational interpretation inherited from Petri nets. The added concepts of hierarchy and recursion allow the description of extremely complex systems. Three applications of Pr/T-Nets are shown: control of complex design systems, timing analysis, and the implementation of communication protocols.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
