I did a library to process any DGML file. The library serves as the base class for the type provider and the type provider can help me generate some code. I made up a prototype and the source code is check in at F# sample pack. (on Sep 9, 2012 2:17 AM). You can go to "source" and the type provider is under SampleProvider folder.
The DGML file is shown in Visual Studio like:
And the transition code is like:
// set the transition functions
// valid transitions
// invalid transition
Please leave your comments.. :)