Giving Semantics to the Extended Grafcet by Means of Timed Transition Model

André, 1993, Grafcet and synchronous languages, APII, 27, 95 Frachet, 1993, Elements for a semantics of the time in Grafcet and dynamic systems using non-standard analysis, APII, 27, 107 1988, Preparation of function charts for control systems Lesage, 1993, Hierarchical approach to Grafcet using forcing order, APII, 27, 25 Lhoste, 1993, Grafcet: from syntax to semantics, APII, 27, 127 Manna, 1992 Marcé, 1993, Defining the semantics of languages for programmable controllers with synchronous processes, Control Engineering Practice, 1, 79, 10.1016/0967-0661(93)92106-E Ostroff, 1990, A framework for real-time discrete event control, IEEE trans. Auto. Cont, 35, 386, 10.1109/9.52290 Ostroff, 1992, A verifier for real time properties, Real-Time J, 4, 5, 10.1007/BF00365462