A grammar-based categorization of practical systems for modeling the dynamic behaviour of objects is presented. A framework based on Augmented Transition Networks is proposed as an ideal modeling tool for such systems, affording both formal analyzability and the functionality needed to model practical systems. The flexibility of the framework in achieving useful tradeoffs between complexity and modeling power is demonstrated by presenting and critically analyzing some relevant algorithms.