Properties of discrete event systems from their mathematical programming representations · Study