• Article  

      Designs of bisimilar Petri net controllers with fault tolerance capabilities 

      Li, L.; Hadjicostis, Christoforos N.; Sreenivas, R. S. (2008)
      This paper proposes an approach for providing tolerance against faults that may compromise the functionality of a given controller modeled by a Petri net. The method is based on embedding the given Petri net controller ...
    • 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 ...