Accéder directement au contenu

Sylvain Schmitz

2
Documents

Présentation

Publications

beatrice-berard
Image document

The Complexity of Diagnosability and Opacity Verification for Petri Nets

Béatrice Bérard , Stefan Haar , Sylvain Schmitz , Stefan Schwoon
Petri nets 2017 - 38th International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2017, Zaragoza, Spain. pp.200--220, ⟨10.1007/978-3-319-57861-3_13⟩
Communication dans un congrès hal-01484476v2