Title :
Sequence-detectability analysis of interpreted Petri nets under partial state observations
Author :
Aguirre-Salas, Luis ; Santoyo-Sanchez, Alejandra
Author_Institution :
Univ. de Guadalajara. CUCSur, Autlan, Mexico
Abstract :
In this paper we deal with the observability problem in discrete event systems modeled with interpreted Petri nets (IPN) under partial state observations with both silent and indistinguishable transitions. In particular, we study the sequence-detectability property which is a necessary condition for observability. We provide a characterization of sequence-detectability. This characterization takes into account both structural and dynamic aspects of the IPN model.
Keywords :
Petri nets; discrete event systems; observability; discrete event systems; interpreted Petri nets; observability problem; partial state observations; sequence-detectability analysis; Actuators; Corona; Discrete event systems; Joining processes; Observability; Observers; Petri nets; Sensor phenomena and characterization; State estimation; Testing;
Conference_Titel :
Emerging Technologies & Factory Automation, 2009. ETFA 2009. IEEE Conference on
Conference_Location :
Mallorca
Print_ISBN :
978-1-4244-2727-7
Electronic_ISBN :
1946-0759
DOI :
10.1109/ETFA.2009.5347117
