Publications Scientifiques

[ Article ] Formal Modeling of Grafcets With Time Petri Nets

Date de soumission: 27-02-2018
Année de Publication: 2015
Entité/Laboratoire Laboratoire Electronique, de Telecommunication et d'Informatique Appliquée (LETIA)
Document type : Article
Discipline(s) : Sciences Informatiques
Titre Formal Modeling of Grafcets With Time Petri Nets
Auteurs SOGBOHOSSOU MEDESU [1], VIANOU Antoine [2],
Journal: IEEE Transactions on Control Systems Technology
Catégorie Journal: Internationale
Impact factor: 3.882
Volume Journal: 23
DOI: 10.1109/TCST.2015.2388491
Resume Grafcet standard (IEC60848) is a formalism used in the world of manufacturing control, at the behavioral specification stage of a system. For specifying safe-critical systems, mathematical models associated with model-checking tools are necessary for the validation of the correctness. However, grafcets (meaning grafcet diagrams) are only semiformal models since certain aspects may be a source of different interpretations. The usual practice is to go through an intermediate formalism. In this brief, time Petri nets (TPNs) are chosen because they combine simplicity with wide-spreading and they also allow quantitative time analyses useful for the verification of real-time specifications. The main goal is to propose a principle of transforming a grafcet into TPN and to define the rules of this translation. The obstacle to overcome is to conciliate synchronous semantics of grafcet with asynchronous semantics of TPN.
Mots clés time Petri nets (TPNs), Grafcet, inhibitor arcs, read arcs, synchronous hypothesis
Pages 1978 - 1985

Publications par entité

  • Centre de Formation et de Recherche en matière de Population (CEFORP) (0)
  • Centre Interfacultaire de Formation et de Recherche en Environnement pour le Développement Durable (CIFRED) (0)
  • Chaire Internationale en Physique Mathématique et Applications (CIPMA-Chaire UNESCO) (0)
  • Ecole Doctorale Pluridisciplinaire <<Espaces, Culture et Développement>> (0)
  • Ecole Nationale d'Administration et de Magistrature (ENAM) (0)
  • Ecole Nationle d'Economie Appliquée et de Management (0)
  • Ecole Normale Supérieure (0)
  • Ecole Polytechnique d'Abomey-Calavi (EPAC) (0)
  • Faculté de droit et de Science Politique (FADESP) (0)
  • Faculté des Lettres et Sciences Humaines (FLASH) (0)
  • Faculté des Lettres, Langues, Arts et Communications (FLLAC) (0)
  • Faculté des Sciences Agronomiques (0)
  • Faculté des Sciences de la Santé (FSS) (0)
  • Faculté des Sciences Economiques et de Gestion (FASEG) (0)
  • Faculté des Sciences et Techniques (FAST) (0)
  • Faculté des Sciences Humaines et Sociales (FASHS) (0)
  • Institut de Formation et de Recherche en Informatique (IFRI) (0)
  • Institut de Géographie de l'Aménagement du territoire et de l'Environnement (IGATE) (0)
  • Institut de Mathématiques et de Sciences Physiques (IMSP) (0)
  • Institut National de l'Eau (INE) (0)
  • Institut National des Métiers d'Art d'Archéologie et de la Culture (INMAAC) (0)
  • Institut National Médico Sanitaire ( INMeS) (0)
  • Institut Régional de Santé Publique (IRSP) (0)

Publications par sexe

  • Femme( 1400 )
  • Homme (