{"title":"用于Grafcet规范的形式化语义","authors":"Julien Provost, J. Roussel, J. Faure","doi":"10.1109/CASE.2011.6042457","DOIUrl":null,"url":null,"abstract":"This paper shows how the behavior of a model described in the specification language proposed by the IEC 60848 standard can be represented, without semantics loss, in a formal manner, by a finite state machine (FSM) with logic inputs and outputs. This contribution is illustrated on a nontrivial example; this case study points out that the duration of the construction of the equivalent FSM complies with the requirements of designers of automation systems.","PeriodicalId":236208,"journal":{"name":"2011 IEEE International Conference on Automation Science and Engineering","volume":"74 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2011-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"25","resultStr":"{\"title\":\"A formal semantics for Grafcet specifications\",\"authors\":\"Julien Provost, J. Roussel, J. Faure\",\"doi\":\"10.1109/CASE.2011.6042457\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper shows how the behavior of a model described in the specification language proposed by the IEC 60848 standard can be represented, without semantics loss, in a formal manner, by a finite state machine (FSM) with logic inputs and outputs. This contribution is illustrated on a nontrivial example; this case study points out that the duration of the construction of the equivalent FSM complies with the requirements of designers of automation systems.\",\"PeriodicalId\":236208,\"journal\":{\"name\":\"2011 IEEE International Conference on Automation Science and Engineering\",\"volume\":\"74 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2011-10-13\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"25\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2011 IEEE International Conference on Automation Science and Engineering\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CASE.2011.6042457\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2011 IEEE International Conference on Automation Science and Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CASE.2011.6042457","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
This paper shows how the behavior of a model described in the specification language proposed by the IEC 60848 standard can be represented, without semantics loss, in a formal manner, by a finite state machine (FSM) with logic inputs and outputs. This contribution is illustrated on a nontrivial example; this case study points out that the duration of the construction of the equivalent FSM complies with the requirements of designers of automation systems.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
