Referenced Items are not available for this document.
Sufficient conditions for diagnosability of DES modeled as Petri net are given in this paper. In proposed framework we refer to the concept of diagnosability given by Sampath et al. for finite state automata; as far as the fault events are concerned, they are modeled as unobservable transitions. The results here presented are based on the mathematical representation of PNs, and their complexity does not depend on the initial marking of the net. Hence the proposed approach does not suffer of the state space explosion problem, as the diagnoser approach does.
Published in:
Discrete Event Systems, 2008. WODES 2008. 9th International Workshop on
Date of Conference: 28-30 May 2008
- Page(s):
- 370 - 375
- E-ISBN :
- 978-1-4244-2593-8
- Print ISBN:
- 978-1-4244-2592-1
- INSPEC Accession Number:
- 10160206
- Conference Location :
- Goteborg
- Digital Object Identifier :
- 10.1109/WODES.2008.4605974
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
