Abbas Dideban Hassane Alla Determination of Minimal Sets of Control Places for Safe Petri Nets http://arxiv.org/abs/0901.4147 2009 CoRR abs/0901.4147 db/journals/corr/corr0901.html#abs-0901-4147