A Model Driven method to represent Free Choice Petri Nets as Sequence Diagram | IEEE Conference Publication | IEEE Xplore