Iniciar sesión
Registrarse
Restablecer contraseña
Publicar y Distribuir
Soluciones de Publicación
Soluciones de Distribución
Temas
Arquitectura y diseño
Artes
Ciencias Sociales
Ciencias de la Información y Bibliotecas, Estudios del Libro
Ciencias de la vida
Ciencias de los materiales
Deporte y tiempo libre
Estudios clásicos y del Cercano Oriente antiguo
Estudios culturales
Estudios judíos
Farmacia
Filosofía
Física
Geociencias
Historia
Informática
Ingeniería
Interés general
Ley
Lingüística y semiótica
Literatura
Matemáticas
Medicina
Música
Negocios y Economía
Química
Química industrial
Teología y religión
Publicaciones
Revistas
Libros
Actas
Editoriales
Blog
Contacto
Buscar
EUR
USD
GBP
Español
English
Deutsch
Polski
Español
Français
Italiano
Carrito
Home
Revistas
International Journal of Applied Mathematics and Computer Science
Volumen 28 (2018): Edición 2 (June 2018)
Acceso abierto
On–The–Fly Diagnosability Analysis of Bounded and Unbounded Labeled Petri Nets Using Verifier Nets
Ben Li
Ben Li
,
Manel Khlif-Bouassida
Manel Khlif-Bouassida
y
Armand Toguyéni
Armand Toguyéni
| 29 jun 2018
International Journal of Applied Mathematics and Computer Science
Volumen 28 (2018): Edición 2 (June 2018)
Advanced Diagnosis and Fault-Tolerant Control Methods (special section, pp. 233-333), Vicenç Puig, Dominique Sauter, Christophe Aubrun, Horst Schulte (Eds.)
Acerca de este artículo
Artículo anterior
Artículo siguiente
Resumen
Referencias
Autores
Artículos en este número
Vista previa
PDF
Cite
Compartir
Publicado en línea:
29 jun 2018
Páginas:
269 - 281
Recibido:
15 mar 2017
Aceptado:
29 ene 2018
DOI:
https://doi.org/10.2478/amcs-2018-0019
Palabras clave
fault diagnosis
,
discrete event systems
,
labeled Petri nets
,
on-the-fly diagnosability analysis
,
verifier nets
© 2018 Ben Li, published by Sciendo
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.
Ben Li
Centrale Lille, 59650
Villeneuve d’Ascq, France
Manel Khlif-Bouassida
Cristal, UMR 9189 Centrale Lille, 59650
Villeneuve d’Ascq, France
Armand Toguyéni
Cristal, UMR 9189 Centrale Lille, 59650
Villeneuve d’Ascq, France