Sensor selection for observability in Interpreted Petri Nets: a genetic approach | IEEE Conference Publication | IEEE Xplore