Discrete event representation of qualitative models using Petri nets
β Scribed by Fanni, A.; Giua, A.
- Book ID
- 117874445
- Publisher
- IEEE
- Year
- 1998
- Tongue
- English
- Weight
- 377 KB
- Volume
- 28
- Category
- Article
- ISSN
- 1083-4419
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
The paper defines the identification problem for Discrete Event Systems (DES) as the problem of inferring a Petri Net (PN) model using the observation of the events and the available output vectors, that correspond to the markings of the measurable places. Two cases are studied considering different
In this paper we present a fault detection approach for discrete event systems using Petri nets. We assume that some of the transitions of the net are unobservable, including all those transitions that model faulty behaviors. Our diagnosis approach is based on the notions of basis marking and justif