A Model Driven Approach to Represent Sequence Diagrams as Free Choice Petri Nets | IEEE Conference Publication | IEEE Xplore