Properties of discrete event systems from their mathematical programming representations | IEEE Conference Publication | IEEE Xplore