License: Licence agreement concerning inclusion of doctoral thesis in the Institutional Repository of the University of LeidenNovember 11th, 2008
FiledNovember 11th, 2008This is a rule that is used after a transition has been taken successfully by an object modeled with km. With this rule the location attribute of the object is assigned the value of the target attribute and the target attribute is set to None. An example of the effect of the rule would be that