A model abstraction method for networked discrete-event systems | IEEE Conference Publication | IEEE Xplore