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
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;
Conference_Titel :
Automation Science and Engineering (CASE), 2011 IEEE Conference on
Conference_Location :
Trieste
Print_ISBN :
978-1-4577-1730-7
Electronic_ISBN :
2161-8070
DOI :
10.1109/CASE.2011.6042457
