Skip to Main content Skip to Navigation
Book sections

Modeling and proving GRAFCETS With Transition Systems

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
Document type :
Book sections
Complete list of metadatas

https://hal.univ-brest.fr/hal-00502042
Contributor : Philippe Le Parc <>
Submitted on : Tuesday, July 13, 2010 - 10:16:47 AM
Last modification on : Tuesday, July 13, 2010 - 10:29:05 AM

Identifiers

  • HAL Id : hal-00502042, version 1

Collections

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⟩

Share

Metrics

Record views

127