UFO.UFO-C
Class Termination

UFO.UFO-C.Termination

public class Termination

A resource participation of r in a is a termination iff (r is present in s1) and (r is not present in s2) and (there is at least one action contribution ac that is also part of a and such that s2 satisfies the propositional content of ac);