Title :
Optimal sensor choice for observability in free-choice Petri nets
Author :
Aguirre-Salas, L. ; Begovich, O. ; Ramirez-Trevino, A.
Author_Institution :
CINVESTAV, Guadalajara, Spain
Abstract :
This paper studies the optimal sensor choice for observability problem in discrete event systems (DES) modeled by interpreted free-choice Petri nets (IFCN). Taking advantage of the fact that, event-detectability is a necessary and sufficient condition for observability in live, cyclic and bounded IFCN, a structural characterization of event-detectability and a simple polynomial algorithm to choose a minimal cost sensor configuration for observability in this claw of nets are provided. This algorithm is successfully applied to an illustrative example
Keywords :
Petri nets; discrete event systems; observability; optimisation; DES; discrete event systems; event-detectability; interpreted free-choice Petri nets; live cyclic bounded IFCN; necessary and sufficient condition; observability; optimal sensor choice; polynomial algorithm; Automata; Costs; Discrete event systems; Observability; Partitioning algorithms; Petri nets; Polynomials; Sensor phenomena and characterization; Sensor systems; Sufficient conditions;
Conference_Titel :
Intelligent Control, 2001. (ISIC '01). Proceedings of the 2001 IEEE International Symposium on
Conference_Location :
Mexico City
Print_ISBN :
0-7803-6722-7
DOI :
10.1109/ISIC.2001.971520
