Text this: A study of the software tools capabilities in translating UML models to PN models