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

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 metadata

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


  • HAL Id : hal-00502042, version 1



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⟩



Record views