TY - RPRT TI - Feedback control logic synthesis for non safe Petri nets AU - Abbas Dideban AU - Hassane Alla PY - 2010 UR - https://arxiv.org/abs/1003.4905 ID - 1003.4905 ER -