Petri网控制器模型的梯形图综合

Proceeding of the 2001 IEEE International Symposium on Intelligent Control (ISIC '01) (Cat. No.01CH37206) Pub Date : 2001-09-05 DOI:10.1109/ISIC.2001.971512

I. Jimenez, E. Lopez, A. Ramírez

{"title":"Petri网控制器模型的梯形图综合","authors":"I. Jimenez, E. Lopez, A. Ramírez","doi":"10.1109/ISIC.2001.971512","DOIUrl":null,"url":null,"abstract":"This paper addresses the problem of automated synthesis of ladder diagrams for programmable logic controllers (PLC). The programs are obtained from control specifications expressed as timed interpreted Petri nets (TIPN). The approach herein presented allows to rapidly synthesize correct programs for PLC; it is based on a set of simple translation rules that produces a ladder diagram (LD) from a TIPN. Moreover this set of rules was coded into a program to automate this process.","PeriodicalId":367430,"journal":{"name":"Proceeding of the 2001 IEEE International Symposium on Intelligent Control (ISIC '01) (Cat. No.01CH37206)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2001-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"22","resultStr":"{\"title\":\"Synthesis of ladder diagrams from Petri nets controller models\",\"authors\":\"I. Jimenez, E. Lopez, A. Ramírez\",\"doi\":\"10.1109/ISIC.2001.971512\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper addresses the problem of automated synthesis of ladder diagrams for programmable logic controllers (PLC). The programs are obtained from control specifications expressed as timed interpreted Petri nets (TIPN). The approach herein presented allows to rapidly synthesize correct programs for PLC; it is based on a set of simple translation rules that produces a ladder diagram (LD) from a TIPN. Moreover this set of rules was coded into a program to automate this process.\",\"PeriodicalId\":367430,\"journal\":{\"name\":\"Proceeding of the 2001 IEEE International Symposium on Intelligent Control (ISIC '01) (Cat. No.01CH37206)\",\"volume\":\"14 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2001-09-05\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"22\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceeding of the 2001 IEEE International Symposium on Intelligent Control (ISIC '01) (Cat. No.01CH37206)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISIC.2001.971512\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceeding of the 2001 IEEE International Symposium on Intelligent Control (ISIC '01) (Cat. No.01CH37206)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISIC.2001.971512","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 22

摘要

本文研究了可编程逻辑控制器(PLC)梯形图的自动合成问题。程序是由时间解释Petri网(TIPN)表示的控制规范获得的。本文提出的方法可以快速合成正确的PLC程序;它基于一组简单的转换规则，从TIPN生成阶梯图(LD)。此外，这组规则被编码到一个程序中，使这个过程自动化。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Synthesis of ladder diagrams from Petri nets controller models

This paper addresses the problem of automated synthesis of ladder diagrams for programmable logic controllers (PLC). The programs are obtained from control specifications expressed as timed interpreted Petri nets (TIPN). The approach herein presented allows to rapidly synthesize correct programs for PLC; it is based on a set of simple translation rules that produces a ladder diagram (LD) from a TIPN. Moreover this set of rules was coded into a program to automate this process.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceeding of the 2001 IEEE International Symposium on Intelligent Control (ISIC '01) (Cat. No.01CH37206)

自引率

0.00%

发文量