Modeling and proving GRAFCETS With Transition Systems - Université de Bretagne Occidentale
Chapitre D'ouvrage Année : 2007

Modeling and proving GRAFCETS With Transition Systems

Résumé

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

Domaines

Théorie et langage formel [cs.FL]

Philippe Le Parc  : Connectez-vous pour contacter le contributeur

https://hal.univ-brest.fr/hal-00502042

Soumis le : mardi 13 juillet 2010-10:16:47

Dernière modification le : lundi 11 octobre 2021-14:22:45

Fichier non déposé

Dates et versions

hal-00502042 , version 1 (13-07-2010)

Identifiants

  • HAL Id : hal-00502042 , version 1

Citer

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 XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-BREST
65 Consultations
0 Téléchargements

Partager

More