HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Book sections

Modeling and proving GRAFCETS With Transition Systems

Dominique l'Her 1 Philippe Le Parc 1, * Lionel Marcé 1
* Corresponding author
1 LIMI - Laboratoire Langages et Interfaces pour Machines Intelligentes
Abstract : In this paper, we present two methods to modelize a grafcet program with transition systems We give some properties that this model should satisfy and we check them with the tool MEC
Keywords : Grafcet verification formal proof transition systems Sequential Function Chart
Document type :
Book sections
Complete list of metadata
https://hal.univ-brest.fr/hal-00502042
Contributor : Philippe Le Parc Connect in order to contact the contributor
Submitted on : Tuesday, July 13, 2010 - 10:16:47 AM
Last modification on : Monday, October 11, 2021 - 2:22:45 PM

Identifiers

  • HAL Id : hal-00502042, version 1

Collections

UNIV-BREST

Citation

Dominique l'Her, Philippe Le Parc, Lionel Marcé. Modeling and proving GRAFCETS With Transition Systems. Real-time-systems. Modeling, design and applications. Selected papers based on the presentations at the AMAST workshops. Hackensack, NJ: AMAST Series in Computing 8., World Scientific (ISBN 981-02-4424-X/hbk), pp.77-96, 2007. ⟨hal-00502042⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

57