diades (DIAgnosis of Discrete Event Systems)
diades (Diagnostic de systèmes à événements discrets)
Résumé
Diades is a collection of tools for performing diagnosis of discrete event systems. Four tools are available:
1) dd-lpn-diagnose: tool that performs the diagnosis of the occurrence of event patterns in Labeled Petri nets by a model-checking technique (see demos/dx2017)
2) dd-lpn-diagnosability-checker: tool that performs the diagnosability analysis of the occurrence of event patterns in Labeled Petri nets by a model-checking technique (see demos/jdeds2017)
3) dd-ltpn-diagnose: tool that performs the diagnosis of the occurrence of event patterns in Labeled Time Petri nets by a model-checking technique (see demos/dx2021)
4) dd-ltpn-diagnosability-checker: tool that performs the diagnosability analysis of the occurrence of event patterns in Labeled Time Petri nets by a model-checking technique (see demos/jdeds2021)
Diades est une collection d'outils permettant de diagnostiquer les systèmes à événements discrets. Quatre outils sont disponibles :
1) dd-lpn-diagnose : outil qui effectue le diagnostic de l'occurrence de motifs d'événements dans les réseaux de Petri étiquetés par une technique de model-checking (voir demos/dx2017)
2) dd-lpn-diagnosability-checker : outil qui effectue l'analyse de diagnostic de l'occurrence de motifs d'événements dans les réseaux de Petri étiquetés par une technique de model-checking (voir demos/jdeds2017)
3) dd-ltpn-diagnose : outil qui effectue le diagnostic de l'occurrence de motifs d'événements dans les réseaux de Petri temporels étiquetés par une technique de vérification de modèle (voir demos/dx2021)
4) dd-ltpn-diagnosability-checker : outil qui effectue l'analyse de diagnostic de l'occurrence de motifs d'événements dans les réseaux de Petri temporels étiquetés par une technique de model-checking (voir demos/jdeds2021)
