Text this: Optimal sensor selection for diagnosability enforcement of discrete event systems using labeled petri net