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