Fault treatment with net condition/event systems: a first approach. - T. Both; Hans-Michael Hanisch; J. Jorn (ETFA (2), 2001)