Formal Semantics for Reactive {GRAFCET} - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles European Journal of Automation Year : 1997

Formal Semantics for Reactive {GRAFCET}


GRAFCET is a graphical formalism derived from Petri Nets and widely used to program automation applications. So far, this formalism has not been equipped with a formal semantics: interpretation algorithms give the meaning of a GRAFCET description. Our purpose is to take advantage of the work carried out for reactive languages: these languages are given a precise behavioural semantics by means of finite-state machines; the behavioural model can then be checked for various properties. The work presented hereafter consists in equipping GRAFCET with a formal semantics to obtain a behavioural model (namely a timed automaton) that captures the metric aspect of time.
Fichier principal
Vignette du fichier
jesa-97.pdf (1.31 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00368571 , version 1 (17-03-2009)


  • HAL Id : inria-00368571 , version 1


Franck Cassez. Formal Semantics for Reactive {GRAFCET}. European Journal of Automation, 1997, 31 (3), pp.581--603. ⟨inria-00368571⟩
192 View
249 Download


Gmail Facebook X LinkedIn More