Fault treatment with net condition/event systems: a first approach | IEEE Conference Publication | IEEE Xplore