Diagnosis of supervision patterns on bounded labeled Petri nets by Model Checking.

Yannick Pencol, Audine Subias

Browse the full DX paper archive.