Event Trace Independence of active behavior

We present the Event Trace Independence (ETI), a novel property of active rules exhibiting a behavior independent of the specific event sequence that had caused a state transition. When employed in a distributed setting, this property supersedes the classical property of confluence, which is not sufficient herein. We show that ETI is in general undecidable and provide a sufficient condition, called invertibility, which offers a practical way to demonstrate ETI.