HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Audine Subias

Publications
Diagnosis of supervision patterns on bounded labeled Petri nets by Model Checking
Yannick Pencolé and Audine Subias
In:28th International Workshop on Principles of Diagnosis (DX'17)

Keyphrases

diagnosis, model checking, patterns, Petri nets.

Copyright © 2012-2023 easychair.org. All rights reserved.