diff --git a/models/Example33_FiniteStateDiagram_PathAnnotation.mp b/models/Example33_FiniteStateDiagram_PathAnnotation.mp index bdac758c4670ca7783777b72382865b0a81d498f..2d6f04903bfa267dd6eb67d3969c03a6f06c58b3 100644 --- a/models/Example33_FiniteStateDiagram_PathAnnotation.mp +++ b/models/Example33_FiniteStateDiagram_PathAnnotation.mp @@ -1,4 +1,4 @@ -/* Example 34. Model of Finite State Diagram with Path Annotation +/* Example 33. Model of Finite State Diagram with Path Annotation Purpose: To demonstrate how to 1) model the behavior of a finite state diagram and 2) generate event traces as