柔性制造系统Petri网模型功能抽象的系统构建取得新成果

R. Zurawski
{"title":"柔性制造系统Petri网模型功能抽象的系统构建取得新成果","authors":"R. Zurawski","doi":"10.1109/ETFA.1994.401985","DOIUrl":null,"url":null,"abstract":"The use of generic models in the synthesis of FMS systems, which allows for rapid modelling and analysis, does not ease the verification task difficulty. Even though generic modules can be verified separately, the verification of the interconnections between modules requires the whole model to be considered. A potential solution is to replace the generic modules with their functional abstractions which realise the external functional behaviour of these modules. The number of places and transitions involved in realizing the required functionality is, typically, a fraction of that used to represent complete components. This reduces the complexity of the components of the modelled system, and thus the complexity of the verification model. The verification task can then focus on the correctness of the interfaces, rather then on the internal nature of the components. In this paper, for a class of Petri net models, which can be used to represent the primary components of the AGV based FMS systems, a method that allows one to systematically construct functional abstractions is presented.<<ETX>>","PeriodicalId":201380,"journal":{"name":"ETFA '94. 1994 IEEE Symposium on Emerging Technologies and Factory Automation. (SEIKEN) Symposium) -Novel Disciplines for the Next Century- Proceedings","volume":"23 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"New results in systematic construction of functional abstractions of Petri net models of flexible manufacturing systems\",\"authors\":\"R. Zurawski\",\"doi\":\"10.1109/ETFA.1994.401985\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The use of generic models in the synthesis of FMS systems, which allows for rapid modelling and analysis, does not ease the verification task difficulty. Even though generic modules can be verified separately, the verification of the interconnections between modules requires the whole model to be considered. A potential solution is to replace the generic modules with their functional abstractions which realise the external functional behaviour of these modules. The number of places and transitions involved in realizing the required functionality is, typically, a fraction of that used to represent complete components. This reduces the complexity of the components of the modelled system, and thus the complexity of the verification model. The verification task can then focus on the correctness of the interfaces, rather then on the internal nature of the components. In this paper, for a class of Petri net models, which can be used to represent the primary components of the AGV based FMS systems, a method that allows one to systematically construct functional abstractions is presented.<<ETX>>\",\"PeriodicalId\":201380,\"journal\":{\"name\":\"ETFA '94. 1994 IEEE Symposium on Emerging Technologies and Factory Automation. (SEIKEN) Symposium) -Novel Disciplines for the Next Century- Proceedings\",\"volume\":\"23 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1994-11-06\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"ETFA '94. 1994 IEEE Symposium on Emerging Technologies and Factory Automation. (SEIKEN) Symposium) -Novel Disciplines for the Next Century- Proceedings\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ETFA.1994.401985\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"ETFA '94. 1994 IEEE Symposium on Emerging Technologies and Factory Automation. (SEIKEN) Symposium) -Novel Disciplines for the Next Century- Proceedings","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ETFA.1994.401985","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 2

摘要

在FMS系统的综合中使用通用模型,这允许快速建模和分析,并不能减轻验证任务的难度。尽管通用模块可以单独验证,但模块之间的互连验证需要考虑整个模型。一个潜在的解决方案是用实现这些模块的外部功能行为的功能抽象取代泛型模块。实现所需功能所涉及的位置和转换的数量通常只是用于表示完整组件的数量的一小部分。这降低了建模系统组件的复杂性,从而降低了验证模型的复杂性。然后,验证任务可以关注接口的正确性,而不是组件的内部性质。本文针对一类可用于表示AGV FMS系统主要部件的Petri网模型,提出了一种系统地构建功能抽象的方法。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
New results in systematic construction of functional abstractions of Petri net models of flexible manufacturing systems
The use of generic models in the synthesis of FMS systems, which allows for rapid modelling and analysis, does not ease the verification task difficulty. Even though generic modules can be verified separately, the verification of the interconnections between modules requires the whole model to be considered. A potential solution is to replace the generic modules with their functional abstractions which realise the external functional behaviour of these modules. The number of places and transitions involved in realizing the required functionality is, typically, a fraction of that used to represent complete components. This reduces the complexity of the components of the modelled system, and thus the complexity of the verification model. The verification task can then focus on the correctness of the interfaces, rather then on the internal nature of the components. In this paper, for a class of Petri net models, which can be used to represent the primary components of the AGV based FMS systems, a method that allows one to systematically construct functional abstractions is presented.<>
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信