{"title":"作为顺序函数图的离散事件系统的执行","authors":"A. Hellgren, Martin Fabian, B. Lennartson","doi":"10.1109/CCA.2001.973903","DOIUrl":null,"url":null,"abstract":"The transition between the supervisory control theory (SCT) and its implementation in programmable logic controllers (PLCs) is not straightforward. This is mainly due to the fact that the SCT is stated in an event based asynchronous setting whilst PLCs are signal based and synchronous. Based on Petri nets the PLC programming language, the sequential function chart (SFC), is an ideal choice for this transition. However, the transition requires detailed knowledge of how the PLC and SFCs work. We present different execution models for SFCs and compare them with the international standard IEC 1131-3.","PeriodicalId":365390,"journal":{"name":"Proceedings of the 2001 IEEE International Conference on Control Applications (CCA'01) (Cat. No.01CH37204)","volume":"137 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2001-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"9","resultStr":"{\"title\":\"On the execution of discrete event systems as sequential function charts\",\"authors\":\"A. Hellgren, Martin Fabian, B. Lennartson\",\"doi\":\"10.1109/CCA.2001.973903\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The transition between the supervisory control theory (SCT) and its implementation in programmable logic controllers (PLCs) is not straightforward. This is mainly due to the fact that the SCT is stated in an event based asynchronous setting whilst PLCs are signal based and synchronous. Based on Petri nets the PLC programming language, the sequential function chart (SFC), is an ideal choice for this transition. However, the transition requires detailed knowledge of how the PLC and SFCs work. We present different execution models for SFCs and compare them with the international standard IEC 1131-3.\",\"PeriodicalId\":365390,\"journal\":{\"name\":\"Proceedings of the 2001 IEEE International Conference on Control Applications (CCA'01) (Cat. No.01CH37204)\",\"volume\":\"137 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2001-09-05\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"9\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 2001 IEEE International Conference on Control Applications (CCA'01) (Cat. No.01CH37204)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CCA.2001.973903\",\"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 2001 IEEE International Conference on Control Applications (CCA'01) (Cat. No.01CH37204)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CCA.2001.973903","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
On the execution of discrete event systems as sequential function charts
The transition between the supervisory control theory (SCT) and its implementation in programmable logic controllers (PLCs) is not straightforward. This is mainly due to the fact that the SCT is stated in an event based asynchronous setting whilst PLCs are signal based and synchronous. Based on Petri nets the PLC programming language, the sequential function chart (SFC), is an ideal choice for this transition. However, the transition requires detailed knowledge of how the PLC and SFCs work. We present different execution models for SFCs and compare them with the international standard IEC 1131-3.