Text this: A Model Driven Method to Represent Free Choice Petri Nets as Sequence Diagram