Consistency's checking of chronicles' set Using Time Petri Nets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Consistency's checking of chronicles' set Using Time Petri Nets

Résumé

In DES, there are two basic approaches to diagnosis: the first approach is the diagnosers [1] and the second approach is the chronicle [2]. The first approach has limitations including the issue of combinatorial explosion. On the other side, it offers tools to study the diagnosability of the models constructed. The chronicles are easier to write but pose the problem of the guarantee of the completeness and especially the consistency of a given base. The objective of this work is to propose a method to verify the consistency of a set of chronicles from a rewritten form of T-Time Petri Nets (TPN).

Domaines

Automatique
Fichier non déposé

Dates et versions

hal-00801580 , version 1 (17-03-2013)

Identifiants

  • HAL Id : hal-00801580 , version 1

Citer

Ramla Saddem, Armand Toguyeni, Moncef Tagina. Consistency's checking of chronicles' set Using Time Petri Nets. 18th Mediterranean Conference on Control & Automation (IEEE MED'2010), Jun 2010, Marrakech, Morocco. pp.1520-1525. ⟨hal-00801580⟩
117 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More