• Article  

      Monitoring discrete event systems using Petri net embeddings 

      Hadjicostis, Christoforos N.; Verghese, G. C. (1999)
      In this paper we discuss a methodology for monitoring failures and other activity in discrete event systems that are described by Petri nets. Our method is based on embedding the given Petri net model in a larger Petri net ...