{"title":"Transforming time constraints of a GRAFCET graph into a suitable Petri net formalism","authors":"F. Schumacher, A. Fay","doi":"10.1109/ICIT.2013.6505674","DOIUrl":null,"url":null,"abstract":"GRAphe Fonctionnel de Commande Etape Transition (GRAFCET) is a powerful graphical modeling language for the specification of controllers in discrete event systems and an international standard since 1988. It contributes to a more structural and model driven approach in the design of logic controllers but still lacks an exhaustive formal definition. As a step towards an exhaustive formal definition of GRAFCET this paper discusses time dependencies, as they are defined in IEC 60848, by comparing them to time constraints of timed Petri nets and Time Petri nets. Based on this analysis the authors propose an extension of a formal model for GRAFCET, which is a specific type of a control interpreted Petri net.","PeriodicalId":192784,"journal":{"name":"2013 IEEE International Conference on Industrial Technology (ICIT)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2013-04-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"12","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2013 IEEE International Conference on Industrial Technology (ICIT)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICIT.2013.6505674","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 12
Abstract
GRAphe Fonctionnel de Commande Etape Transition (GRAFCET) is a powerful graphical modeling language for the specification of controllers in discrete event systems and an international standard since 1988. It contributes to a more structural and model driven approach in the design of logic controllers but still lacks an exhaustive formal definition. As a step towards an exhaustive formal definition of GRAFCET this paper discusses time dependencies, as they are defined in IEC 60848, by comparing them to time constraints of timed Petri nets and Time Petri nets. Based on this analysis the authors propose an extension of a formal model for GRAFCET, which is a specific type of a control interpreted Petri net.
GRAphe functionnel de Commande Etape Transition (GRAFCET)是一种功能强大的图形建模语言，用于离散事件系统中的控制器规范，自1988年以来一直是国际标准。它有助于在逻辑控制器的设计中采用更结构化和模型驱动的方法，但仍然缺乏详尽的正式定义。作为对GRAFCET详尽的正式定义的一步，本文通过将它们与定时Petri网和时间Petri网的时间约束进行比较，讨论了IEC 60848中定义的时间依赖性。基于这一分析，作者提出了对GRAFCET形式模型的扩展，这是一种特定类型的控制解释Petri网。
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
