Common Contracts

License: Licence agreement concerning inclusion of doctoral thesis in the Institutional Repository of the University of Leiden

November 11th, 2008

• Filed
  November 11th, 2008

This 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