{"title":"柔性制造系统典型构件Petri网模型功能抽象的系统构建","authors":"R. Zurawski, T. Dillon","doi":"10.1109/PNPM.1991.238795","DOIUrl":null,"url":null,"abstract":"The use of generic models in the synthesis of FMSs, which allows for rapid modelling and analysis, does not reduce complexity of the verification model. This complexity can be reduced by replacing the constituent components (generic models) with their functional abstractions, which represent the external behaviour of the components. In the paper, for a class of Petri net models representing primary components of FMSs, a method that allows to systematically construct functional abstractions is presented. This method is then used to obtain the functional abstraction of the Petri net model of a machining station.<<ETX>>","PeriodicalId":137470,"journal":{"name":"Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91","volume":"26 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1991-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"16","resultStr":"{\"title\":\"Systematic construction of functional abstractions of Petri net models of typical components of flexible manufacturing systems\",\"authors\":\"R. Zurawski, T. Dillon\",\"doi\":\"10.1109/PNPM.1991.238795\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The use of generic models in the synthesis of FMSs, which allows for rapid modelling and analysis, does not reduce complexity of the verification model. This complexity can be reduced by replacing the constituent components (generic models) with their functional abstractions, which represent the external behaviour of the components. In the paper, for a class of Petri net models representing primary components of FMSs, a method that allows to systematically construct functional abstractions is presented. This method is then used to obtain the functional abstraction of the Petri net model of a machining station.<<ETX>>\",\"PeriodicalId\":137470,\"journal\":{\"name\":\"Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91\",\"volume\":\"26 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1991-12-02\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"16\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/PNPM.1991.238795\",\"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 the Fourth International Workshop on Petri Nets and Performance Models PNPM91","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/PNPM.1991.238795","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Systematic construction of functional abstractions of Petri net models of typical components of flexible manufacturing systems
The use of generic models in the synthesis of FMSs, which allows for rapid modelling and analysis, does not reduce complexity of the verification model. This complexity can be reduced by replacing the constituent components (generic models) with their functional abstractions, which represent the external behaviour of the components. In the paper, for a class of Petri net models representing primary components of FMSs, a method that allows to systematically construct functional abstractions is presented. This method is then used to obtain the functional abstraction of the Petri net model of a machining station.<>
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
