Diagnosis of Asynchronous Discrete Event Systems, A~Net Unfolding Approach

Albert Benveniste (1) , Eric Fabre (1) , Stefan Haar (1) , Claude Jard (2)

1 SIGMA2 - Signal, models, algorithms
2 TRISKELL - Reliable and efficient component based software engineering

Domaines: Autre [cs.OH]

Albert Benveniste, Eric Fabre, Stefan Haar, Claude Jard. Diagnosis of Asynchronous Discrete Event Systems, A~Net Unfolding Approach. Proceedings of the 6th Workshop on Discrete Event Systems (WODES'02), 2002, Zaragoza, Spain, Spain. pp.182-190. ⟨inria-00638345⟩