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