Diagnosability verification with Petri net unfoldings - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue International Journal of Knowledge-Based and Intelligent Engineering Systems Année : 2010

Diagnosability verification with Petri net unfoldings

Agnes Madalinski
  • Fonction : Auteur
  • PersonId : 977061
Fichier non déposé

Dates et versions

hal-01276950 , version 1 (21-02-2016)

Identifiants

  • HAL Id : hal-01276950 , version 1

Citer

Agnes Madalinski, Farid Nouioua. Diagnosability verification with Petri net unfoldings. International Journal of Knowledge-Based and Intelligent Engineering Systems, 2010, 14 (2), pp.49-55. ⟨hal-01276950⟩
66 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More