@misc{indiciae4d7f4b98334c,
  title = {Feedback control logic synthesis for non safe Petri nets},
  author = {Abbas Dideban and Hassane Alla},
  year = {2010},
  url = {https://arxiv.org/abs/1003.4905},
  note = {Source identifier: 1003.4905}
}