Fig. 4. A graph transition consisting of a rule L → R specifying the operation process-

Order (top), and its occurrence o in an instance-level transformation (bottom)