Samples of MSC document to Petri Net conversion.