A formal semantics for Grafcet specifications

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 non-trivial 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [14 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00603189
Contributor : Julien Provost <>
Submitted on : Thursday, September 15, 2011 - 2:13:03 PM
Last modification on : Thursday, February 9, 2017 - 3:56:11 PM
Long-term archiving on : Friday, December 16, 2011 - 2:20:23 AM

File

PROVOST_A_formal_semantics_for...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00603189, version 1

Collections

Citation

Julien Provost, Jean-Marc Roussel, Jean-Marc Faure. A formal semantics for Grafcet specifications. 7th IEEE Conference on Automation Science and Engineering (IEEE CASE 2011), Aug 2011, Trieste, Italy. pp.488-494. ⟨hal-00603189⟩

Share

Metrics

Record views

334

Files downloads

1383