TY - RPRT TI - An example illustrating the imprecision of the efficient approach for diagnosis of Petri nets via integer linear programming AU - Alban Grastien PY - 2012 UR - https://arxiv.org/abs/1210.4231 ID - 1210.4231 ER -