• DocumentCode
    1694410
  • Title

    A formal semantics for Grafcet specifications

  • Author

    Provost, Julien ; Roussel, Jean-Marc ; Faure, Jean-Marc

  • Author_Institution
    LURPA, Ecole Normale Super. de Cachan, Cachan, France
  • fYear
    2011
  • Firstpage
    488
  • Lastpage
    494
  • 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.
  • Keywords
    IEC standards; finite state machines; formal specification; specification languages; Grafcet specification; IEC 60848 standard; finite state machine; formal semantics; logic input; logic output; specification language; Analytical models; Control systems; IEC standards; Resource management; Semantics; Syntactics; Transient analysis;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Automation Science and Engineering (CASE), 2011 IEEE Conference on
  • Conference_Location
    Trieste
  • ISSN
    2161-8070
  • Print_ISBN
    978-1-4577-1730-7
  • Electronic_ISBN
    2161-8070
  • Type

    conf

  • DOI
    10.1109/CASE.2011.6042457
  • Filename
    6042457
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1694410