Feedback control logic synthesis for non safe Petri nets

@article{Dideban2009FeedbackCL,
  title={Feedback control logic synthesis for non safe Petri nets},
  author={Abbas Dideban and Hassane Alla},
  journal={CoRR},
  year={2009},
  volume={abs/1003.4905}
}
This paper addresses the problem of forbidden states of non safe Petri Net (PN) modelling discrete events systems. To prevent the forbidden states, it is possible to use conditions or predicates associated with transitions. Generally, there are many forbidden states, thus many complex conditions are associated with the transitions. A new idea for computing… CONTINUE READING