Sequence-detectability analysis of interpreted Petri nets under partial state observations

  • Authors:

  • Luis Aguirre-Salas;Alejandra Santoyo-Sanchez

  • Affiliations:

  • Universidad de Guadalajara, CUCSur, Autlan, Jalisco, Mexico;Universidad de Guadalajara, CUCEI, Guadalajara, Jalisco, Mexico

  • Venue:
  • ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

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.