Text this: Representation and termination analysis for ECA rules based on extended Petri net