Sensor Selection for event-detectability in Interpreted Petri Nets using an Ant Colony Optimization algorithm | IEEE Conference Publication | IEEE Xplore