Modeling and control of discrete-event systems with hierarchical abstractionKen Qian Pu · First published 2000Open the Tome