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.
['L. Aguirre-Salas', 'Alejandra Santoyo-Sanchez']
Sequence-detectability analysis of interpreted Petri nets under partial state observations