发送短信 : A Model Driven Method to Represent Free Choice Petri Nets as Sequence Diagram