Jump to : Keywords | Contact | BibTex reference | EndNote reference |

haar-cdc03

Stefan Haar, Albert Benveniste, Eric Fabre, Claude Jard. Partial Order Diagnosability of Discrete Event Systems using Petri Nets Unfoldings. In 42nd IEEE Conference on Decision and Control (CDC), 2003.

Keywords

[ Partial orders ] [ Scenarios ] [ Unfolding ]

Contact

Stefan Haar http://www.irisa.fr/distribcom
Albert Benveniste http://www.irisa.fr/distribcom
Eric Fabre http://www.irisa.fr/distribcom
Claude Jard http://www.irisa.fr/distribcom

BibTex Reference

@InProceedings{haar-cdc03,
   Author = {Haar, Stefan and Benveniste, Albert and Fabre, Eric and Jard, Claude},
   Title = {Partial Order Diagnosability of Discrete Event Systems using Petri    Nets Unfoldings},
   BookTitle = {42nd IEEE Conference on Decision and Control (CDC)},
   Year = {2003}
}

EndNote Reference [help]

Get EndNote Reference (.ref)