Safety analysis of discrete event systems using a simplified Petri net controller.