Modeling and proving GRAFCETS With Transition Systems

Dominique L'Her 1 Philippe Le Parc 1, * Lionel Marcé 1
* Auteur correspondant
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
Type de document :
Chapitre d'ouvrage
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
Liste complète des métadonnées
http://hal.univ-brest.fr/hal-00502042
Contributeur : Philippe Le Parc <>
Soumis le : mardi 13 juillet 2010 - 10:16:47
Dernière modification le : mardi 13 juillet 2010 - 10:29:05

Identifiants

  • 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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

76

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD